The Community for Technology Leaders
RSS Icon
Subscribe
Formal Engineering Methods, International Conference on (1998)
Brisbane, Australia
Dec. 9, 1998 to Dec. 11, 1998
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
K Taguchi , Kyushu University
K. Araki , Kyushu University
pp. 56
Invited Speaker II
Andy Galloway , University of York
Simon Burton , University of York
John Clark , University of York
Ian Toyn , University of York
John McDermid , 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
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
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool