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

2. ICFEM 1998: Brisbane, Queensland, Australia

Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, 9-11 December, 1998, Brisbane, Queensland, Australia, Proceedings. IEEE Computer Society, online publication: http://computer.org/proceedings/icfem/9198/9198toc.htm

Invited Speaker

Real-Time Concurrency

Animation and Model Checking

Session 2B: Foundations

Invited Speaker

Systems

Invited Speaker

Controllers

Test Sets

Invited Speaker

Applications

Testing Applications

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