Author:
Stoyenko Alexander D.,Marlowe Thomas J.,Laplante Phillip A.
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modelling and Simulation,Control and Systems Engineering
Reference13 articles.
1. Auernheimer, B., and Kemmerer, R. A. 1986. RT-ASLAN: A specification language for real-time systems. IEEE Transactions on Software Engineering SE-12(9): 879?889.
2. Berry, G., Moisan, S., and Rigault, J.-P. 1983. Esterel: Towards a synchronous and semantically sound high level language for real-time applications. Proceedings of the IEEE 1983 Real-Time Systems Symposium, December, pp. 30?37.
3. Berthomieu, B., and Diaz, M. 1991. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering 17(3): 259?273.
4. Clarke, E. M., Emerson, E. A., and Sistla, A. P. 1986. Automatic verification of finite state concurrent systems using temporal logic. ACM Transactions on Programming Languages and Systems 8(2): 244?263.
5. Dasarathy, B. 1985. Timing constraints of real-time systems: Constructs for expressing them, methods of validating them. IEEE Transactions on Software Engineering SE-11(1): 80?86.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献