• I
  • ICFEM
  • 1998
  • Second IEEE International Conference on Formal Engineering Methods (ICFEM'98)
Advanced Search 
Second IEEE International Conference on Formal Engineering Methods (ICFEM'98)
Brisbane, Australia
December 09-December 11
ISBN: 0-8186-9198-0
Table of Contents
Invited Speaker I
Session 1: Real-Time Concurrency
Session 2A: Animation and Model Checking
Session 2B: Foundations
Invited Speaker II
John McDermid, University of York
Andy Galloway, University of York
Simon Burton, University of York
John Clark, University of York
Ian Toyn, University of York
Nigel Tracey, University of York
Sam Valentine, University of York
pp. 76
Session 3: Systems
Invited Speaker III
Session 4: Controllers
Session 5: Test Sets
Invited Speaker IV
Session 6: Applications
Session 7: Testing Applications
Panel Session
Usage of this product signifies your acceptance of the Terms of Use.