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

8. ICFEM 2006: Macao, China

Zhiming Liu, Jifeng He (Eds.): Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings. Lecture Notes in Computer Science 4260 Springer 2006, ISBN 3-540-47460-9 BibTeX

Keynote Talks

Specification and Verification

Internetware and Web-Based Systems

Concurrent, Communicating, Timing and Probabilistic Systems

Object and Component Orientation

Testing and Model Checking


Fault-Tolerance and Security

Specification and Refinement

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