Academy of Mining and Metallurgy, Institute of Automatics, 30-300 Cracow, Poland;
real-time systems; programming language PEARL; formal specification; modeling; formal verification; PVS;
机译:经过正式验证的用于POSIX实时操作系统上的实时调度的应用程序级框架
机译:迈向基于UML的基于组件的实时软件的正式规范
机译:集成本体和优化的分区操作系统的正式规范和分析
机译:实时操作系统组件的正式规范
机译:根据实时反应系统的正式规范自动生成测试。
机译:概念化在正规卫生系统之外运作的行为者的公共卫生角色:社会企业的案例
机译:经过正式验证的应用程序级框架,可在posix实时操作系统上进行实时调度