位置：成果数据库 > 会议 > 会议详情页
An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems
  • 所属机构名称：北京邮电大学
  • 会议名称：ISCTCS
  • 时间：2012.5.30
  • 成果类型：会议
  • 相关项目：可信软件及服务的度量、评估、认证体系标准研究
同会议论文项目
可信软件及服务的度量、评估、认证体系标准研究
期刊论文 9 会议论文 14 著作 2
同项目会议论文
A New Measurement Method for Software Trustworthiness Based on Rough Sets
Service Behavior Trustworthiness Management
Research on Simulation and Real-Time Evaluation Method of IoT-Oriented Complex System
An Implementation of Trusted Remote Attestation Oriented the IaaSCloud
An Improved Design of the Trustworthiness Authentication Mechanism of IaaS
Specifying and Detecting Behavioral Changes in Source Code using Abstract Syntax Tree Differencing
An Evaluation Framework of Coverage-Based Fault Localization for Object-Oriented Programs
Timing Aspects Construction Using UML-MARTE Profile
MDE-Based Verification of SysML State Machine Diagram by UPPAAL
CppIns: A Source Query Language for Instrumentation
An UML Model Query Method Based on Structure Pattern Matching
Composition of AADL Components by Transformation to Interface Automata
A Tool to Construct One Comprehensive Legal Environment for Behavioral Incompatible Components