5. ICFEM 2003:
Singapore
Jin Song Dong, Jim Woodcock (Eds.):
Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings.
Lecture Notes in Computer Science 2885 Springer 2003, ISBN 3-540-20461-X BibTeX
@proceedings{DBLP:conf/icfem/2003,
editor = {Jin Song Dong and
Jim Woodcock},
title = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, ICFEM 2003, Singapore, November
5-7, 2003, Proceedings},
booktitle = {ICFEM},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2885},
year = {2003},
isbn = {3-540-20461-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Testing and Validation
State Diagrams
PVS/HOL
Refinement
Hybrid Systems
Z/Object-Z
Petri Nets
Timed Automata
System Modeling and Checking
Semantics and Synthesis
Copyright © Sat May 16 23:19:37 2009
by Michael Ley (ley@uni-trier.de)
