عنوان
پدید آورنده
موضوع
رده
QA 76.9 .F67I53 2005
QA
76
.
9
.
F67I53
2005
کتابخانه
محل استقرار
FMICS'05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05
10th : 2005 : Lisbon, Portugal
New York
ACM Press
c2005
viii, 144 p.: ill.
Includes bibliographies
ISBN: 1595931481
editors, Tiziana Margaria & Mieke Massink; sponsored by ACM SIGSOFT
1
Congresses ، Formal methods )Computer science(
QA
76
.
9
.
F67I53
2005
NO
AU
AU Margaria-Steffen, Tiziana, 1964-
AU Massink, Mieke
CO ACM Special Interest Group on Software Engineering
CO European Software Engineering Conference 2005 : Lisbon, Portugal
CO ACM SIGSOFT Symposium on the Foundations of Software Engineering 2005 : Lisbon, Portugal
TI
TI Formal methods for industrial critical systems
International Workshop on Formal Methods for Industrial Critical Systems
