Author:
Renault Xavier,Hugues Jérôme,Kordon Fabrice
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lecture Notes in Computer Science;D. Basin,2002
2. Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Comput. Netw. ISDN Syst. 14(1), 25–59 (1987)
3. Freitas, L.: Posix 1003.21 standard – real time distributed systems communication (in Z/Eves). Technical report, University of York (2006)
4. Object Management Group. Corba component model 4.0 specification. Specification Version 4.0, Object Management Group (April 2006)
5. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 26(1), 53–56 (1983)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Middleware Reconfiguration Relying on Formal Methods;2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing;2015-10