Author:
Jarrar Abdessamad,Balouki Youssef
Publisher
Springer International Publishing
Reference23 articles.
1. Audsley, N.C., Burns, A., Wellings, A.J.: Deadline monotonic scheduling theory and application. Control Eng. Pract. 1(1), 71–78 (1993)
2. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)
3. Peterson, J.L.: Petri nets, computing surveys. ACM Comput. Surv. 9(3), 223–252 (1977)
4. Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Comput. Netw. ISDN Syst. 14(1), 25–59 (1987)
5. Spivey Oriel, J.M.: Understanding Z: A Specification Language and its Formal Semantics. Cambridge University Press, New York, NY, USA ©ISBN: 0-521-33429-2 (1988)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献