Formal methods for industrial critical systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers

著者

    • International Workshop on Formal Methods for Industrial Critical Systems
    • Cofer, Darren
    • Fantechi, Alessandro

書誌事項

Formal methods for industrial critical systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers

Darren Cofer, Alessandro Fantechi (eds.)

（Lecture notes in computer science, 5596）

Springer, c2009

タイトル別名

FMICS 2008

大学図書館所蔵 件 / 全1件

この図書・雑誌をさがす

注記

Includes bibliograhical references and index

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ