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
著者
書誌事項
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
Association for Computing Machinery, c2005
- タイトル別名
-
FMICS '05
Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Also issued online with additional title: Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems
Includes bibliographic references and author index
"ACM Order Number 592055"--P. ii
HTTP:URL=http://portal.acm.org/toc.cfm?id=1081180&coll=portal&dl=ACM&type=proceeding&idx=SERIES364&part=Proceedings&WantType=Proceedings&title=Foundations%20of%20Software%20Engineering