The Community for Technology Leaders
RSS Icon
Formal Engineering Methods, International Conference on (1998)
Brisbane, Australia
Dec. 9, 1998 to Dec. 11, 1998
ISBN: 0-8186-9198-0
Invited Speaker I
Manfred Broy , Technische Universitaet Muenchen
Ingolf Krüger , Technische Universitaet Muenchen
pp. 2
Session 1: Real-Time Concurrency
Session 2A: Animation and Model Checking
Session 2B: Foundations
K Taguchi , Kyushu University
K. Araki , Kyushu University
pp. 56
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
Gordon Rose , University of Queensland
pp. 122
Session 4: Controllers
Mirko Conrad , Daimler-Benz AG
Dieter Hötzer , Research Institute for Automotive Engineering and Vehicle Engines
pp. 144
Session 5: Test Sets
Invited Speaker IV
Session 6: Applications
Detlef Kreuz , Technical University of Hamburg-Harburg
pp. 180
Session 7: Testing Applications
Panel Session
pp. 234
Author Index (PDF)
pp. 235
31 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool