ACM SIGCHI Bulletin
Multimedia in the E-LOTOS process algebra
Formal methods for distributed processing
Design and Verification of Distributed Recovery Blocks with CSP
Formal Methods in System Design
Applying RT-Z to Develop Safety-Critical Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Hi-index | 0.00 |