dblp.uni-trier.de www.uni-trier.de

28. FORTE 2008: Tokyo, Japan

Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings. Lecture Notes in Computer Science 5048 Springer 2008, ISBN 978-3-540-68854-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talk

Abstraction

Verification

Specification Framework I

Application

Specification Framework II

Theory

Reliability of Networked Systems

Copyright © Mon Nov 2 20:36:50 2009 by Michael Ley (ley@uni-trier.de)