Author:
Welch L.R.,Stoyenko A.D.,Marlowe T.J.
Subject
Applied Mathematics,Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering
Reference24 articles.
1. Automatic verification of finite state concurrent systems using temporal logic;Clarke;ACM Transactions on Programming Languages and Systems,1986
2. Constructing Predictable Real Time Systems;Halang,1991
3. Real-time Euclid: a language for reliable real-time systems;Kligerman;IEEE Transactions on Software Engineering,1986
4. Timed acceptances: A model of time dependent processes;Lee,1988
5. Guaranteed response times in a distributed hard-real-time environment;Leinbaugh;IEEE Transactions on Software Engineering,1986
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献