Premium
Verification of Reactive Systems: Formal Methods and Algorithms. By Klaus Schneider. Published by Springer, Berlin, Germany, Texts in Theoretical Computer Science Series, 2004. ISBN: 3‐540‐00296‐0, pp 600.
Author(s) -
Ouaknine Joël
Publication year - 2005
Publication title -
software testing, verification and reliability
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.216
H-Index - 49
eISSN - 1099-1689
pISSN - 0960-0833
DOI - 10.1002/stvr.330
Subject(s) - citation , computer science , algorithm , library science , artificial intelligence
Title Type verification of reactive systems formal methods and algorithms PDF leveraging applications of formal methods verification and validation 4th international symposium PDF accuracy verification methods theory and algorithms PDF industrial used of formal method formal verification PDF formal methods for mobile computing 5th international school on formal methods for the design of com PDF formal methods for open object based distributed systems v PDF formal methods for protocol engineering and distributed systems 1st edition PDF formal methods for embedded distributed systems how to master the complexity 1st edition PDF formal methods in systems biology first international workshop fmsb 2008 cambridge uk june 4 5 PDF formal methods for open object based distributed systems 8th ifip wg 61 international conference f PDF formal methods for industrial critical systems 15th international workshop fmics 2010 antwerp bel PDF formal methods for industrial critical systems 13th international workshop fmics 2008 laquila it PDF formal methods for industrial critical systems 12th international workshop fmics 2007 berlin germ PDF fundamentals of robotic mechanical systems theory methods and algorithms 4th edition PDF formal methods and software engineering 7th international conference on formal engineering methods PDF formal methods and software engineering 5th international conference on formal engineering methods PDF formal methods and software engineering 8th international conference on formal engineering methods PDF formal methods and software engineering 6th international conference on formal engineering methods PDF formal methods and software engineering 4th international conference on formal engineering methods PDF a roadmap for formal property verification 1st edition PDF applied formal verification for digital circuit design 1st edition PDF logic synthesis and verification algorithms PDF formal verification of object oriented software international conference foveoos 2010 paris franc PDF the temporal logic of reactive and concurrent systems specification 1st edition PDF designing embedded systems with the signal programming language synchronous reactive specification PDF combustion in reactive systems technical papers from the seventh international colloquium on gasdyna PDF process algebra and probabilistic methods performance modeling and verification second joint intern PDF multibody system simulation numerical methods algorithms and software numerical methods algorithm PDF formal methods and object technology PDF formal methods state of the art and new directions PDF fme 94 industrial benefit of formal methods PDF correct hardware design and verification methods 12th ifip wg 105 advanced research working confere PDF advances in formal design methods for cad 1st edition PDF industrial strength formal methods in practice PDF compositional verification of concurrent and real time systems PDF correct hardware design and verification methods 10th ifip wg105 advanced research working conferen PDF formal methods for distributed system development 1st edition PDF verification and validation of complex systems human factors issues 1 ed 93 PDF interactive systems design specification and verification 10th international workshop dsv is 200 PDF