عنوان

Verification of digital and hybrid systems

شابک

3642596150

شابک

9783642596155

شماره

b548039

عنوان اصلي

Verification of digital and hybrid systems

نام عام مواد

[Book]

نام نخستين پديدآور

edited by M. Kemal Inan, Robert P. Kurshan.

محل نشرو پخش و غیره

Berlin ; New York

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

©2000.

نام خاص و کميت اثر

(xviii, 405 pages) : illustrations

عنوان فروست

NATO ASI series., Series F,, Computer and systems sciences ;, no. 170.

متن يادداشت

Part I: Overview of Verification --;General Purpose Theorem Proving Methods in the Verification of Digital Hardware and Software --;Temporal Logic and Model Checking --;Model Checking Using Automata Theory --;Complexity Issues in Automata Theoretic Verification --;Symbolic Model Checking --;Compositional Systems and Methods --;Symmetry and Model Checking --;Partial Order Reductions --;Probabilistic Model Checking: Formalisms and Algorithms for Discrete and Real-Time Systems --;Formal Verification in a Commercial Setting --;Part II: Timed Automata --;The Theory of Hybrid Automata --;On the Composition of Hybrid Systems --;Reach Set Computation Using Optimal Control --;Control for a Class of Hybrid Systems --;The SHIFT Programming Language and Run-Time System for Dynamic Networks of Hybrid Automata --;The Teja System for Real-Time Dynamic Event Management --;Automated Highway Systems: an Example of Hierarchical Control.

متن يادداشت

Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997.

موضوع مستند نشده

Computer systems -- Verification -- Congresses.

موضوع مستند نشده

Computer systems -- Verification.

موضوع مستند نشده

Logiciels -- Vérification

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by M. Kemal Inan, Robert P. Kurshan.

مستند نام اشخاص تاييد نشده

M Kemal Inan

مستند نام اشخاص تاييد نشده

R P Kurshan

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y