...
机译:分层并发实时系统的参数综合
Universite Paris 13, Sorbonne Paris Cite, LIPN, CNRS UMR 7030, Villetaneuse, France;
School of Computer Engineering, Nanyang Technological University, Singapore, Singapore;
Singapore University of Technology and Design, Singapore, Singapore;
School of Computing, National University of Singapore, Singapore, Singapore;
Real-time specification; Parametric timed verification; Model checking; Robustness;
机译:实时系统的整数参数综合
机译:概率实时系统的参数综合(特邀论文)
机译:使用分层通信实时状态机的实时系统的模块化设计
机译:PSyHCoS:分层并行实时系统的参数综合
机译:用于并发实时图分析的系统
机译:关系数据库管理系统中使用分层查询的实时临床决策支持的概念推断。
机译:分层并发实时系统的参数综合