Computer-Aided Verification of Coordinating Processes : : The Automata-Theoretic Approach / / Robert P. Kurshan.
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design com...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter Princeton Legacy Lib. eBook Package 1980-1999 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2014] ©1995 |
Year of Publication: | 2014 |
Edition: | Course Book |
Language: | English |
Series: | Princeton Readings in Religions ;
302 |
Online Access: | |
Physical Description: | 1 online resource (284 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Theory of automata, formal languages and computation / S.P. Eugene Xavier.
by: Xavier, S. P. Eugene.
Published: (c2005.) -
Computer-aided graphing and simulation tools for AutoCAD users / / P.A. Simionescu, Texas A&M University, Corpus Christi, USA.
by: Simionescu, P. A.,
Published: ([2015]) -
Chemical Reaction Engineering : : A Computer-Aided Approach / / Tapio Salmi, Johan Wärnå, José Rafael Hernández Carucci, César A. de Araújo Filho.
by: Salmi, Tapio,
Published: ([2020]) -
Chemical Reaction Engineering : : A Computer-Aided Approach / / Tapio Salmi, Johan Wärnå, José Rafael Hernández Carucci, César A. de Araújo Filho.
by: Salmi, Tapio,
Published: ([2023]) -
24th European Symposium on Computer Aided Process Engineering. / Part A / / edited by Jiri Jaromir Klemes, Petar Sabev Varbanov, Peng Yen Liew.
Published: (2014.)