机译:分布式实时系统黑箱一致性测试的正式框架
Research Unit of Development and Control of Distributed Applications, Higher Institute of Computer Science and Multimedia of Sfax,University of Sfax,Technopole de Sfax BP 242, 3021, Sfax, Tunisia;
black-box; model-based; conformance-testing; real-time; distributed; conformance relation; analogue-clock; digital-clock; centralised; testing architecture;
机译:经过正式验证的用于POSIX实时操作系统上的实时调度的应用程序级框架
机译:集成反应系统的形式验证和一致性测试
机译:带有异步接口和电信协议的系统的形式化模型和一致性测试的开发
机译:分布式实时系统一致性测试的正式框架
机译:分布式管道调度:一种用于设计大型,分布式,异构实时系统的框架。
机译:深度框架:用于视频流的实时分析的分布式可扩展和边缘导向框架
机译:实时系统的黑盒一致性测试
机译:实时分布式系统设计的形式化方法