Specification, modelling, verification and runtime analysis of real time systems
著者
書誌事項
Specification, modelling, verification and runtime analysis of real time systems
(Dissertationen zur Künstlichen Intelligenz, Bd. 280)
Infix, c2004
- : Aka
- タイトル別名
-
Verification of real time systems
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"infix is a joint imprint of Akademische Verlagsgesellschaft Aka GmbH (Berlin) and IOS Press BV (Amsterdam)" -- T.p. verso
Originally presented as the author's thesis (doctoral) -- Universität Karlsruhe, 2003
Includes bibliographical references (p. 171-180)