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

4. FMCO 2005: Amsterdam, The Netherlands

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Lecture Notes in Computer Science 4111 Springer 2006, ISBN 3-540-36749-7 BibTeX

Component and Service Oriented Computing

System Design


Algebraic Methods

Model Checking

Assertional Methods

Quantitative Analysis

Copyright © Sat May 16 23:12:17 2009 by Michael Ley (ley@uni-trier.de)