Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Software
Reference18 articles.
1. A unified high-level Petri net formalism for time-critical systems;Ghezzi;IEEE Trans. Software Engng,1991
2. A layered approach to automating the verification of real-time systems;Gerber;IEEE Trans. Software Engng,1992
3. Communicating real-time state machines;Shaw;IEEE Trans. Software Engng,1992
4. B. Nielsen, S. Ren, G. Agha, Specification of real-time interaction constraints, Proceedings of the First International Symposium on Object-Oriented Real-Time Computing, IEEE Computer Society, 1998.
5. Using Real Time Constraints for Modularisation;Kirk,1997
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献