实时性验证相关论文
随着无线接入带宽需求的不断增长以及发光二极管的普及，可见光通信技术得到迅速发展，已成为研究热点。新的可见光通信技术在应用前通......
随着嵌入式系统的规模、复杂程度和可靠性需求的不断提升，模型驱动的体系结构开发方法已经成为复杂嵌入式系统开发的主流。体系结构......
IEC 61850智能电子设备(IED)的交互实时性是分布式功能成功实施的关键。为解决现有形式化方法对实时性建模复杂及验证困难的问题，提......
