[图书][B] Temporal verification of reactive systems: safety

Z Manna, A Pnueli - 2012 - books.google.com
This book is about the verification of reactive systems. A reactive system is a system that
maintains an ongoing interaction with its environment, as opposed to computing some final …
被引用次数：1898 相关文章

Temporal Verification of Reactive Systems Safety

Z Manna, A Pnueli - Springer
This book is about the verification of reactive systems. A reactive system is a system that
maintains an ongoing interaction with its environment, as opposed to computing some final …

[图书][B] Temporal Verification of Reactive Systems: Safety

Z Manna, A Pnueli - 1995 - books.google.com
This book is about the verification of reactive systems. A reactive system is a system that
maintains an ongoing interaction with its environment, as opposed to computing some final …

[引用][C] Temporal Verification of Reactive Systems

Z Manna, A Pnueli - (No Title), 1995 - cir.nii.ac.jp

Temporal verification of reactive systems: safety

Z Manna, A Pnueli - 1995 - dl.acm.org
Temporal verification of reactive systems | Guide books skip to main content ACM Digital Library
home ACM home Google, Inc. (search) Advanced Search Browse About Sign in Register …

[引用][C] Temporal verification of reactive systems: safety

Z Manna, A Pnueli - (No Title) - cir.nii.ac.jp
Temporal verification of reactive systems : safety | CiNii Research CiNii 国立情報学研究所 学術
情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本を …