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