1
0
0
(1 - 26 von 26
)
(Model Checking Software) By Pasareanu, Corina S. (Author) Paperback on (08 , 2009)
von Corina S. Pasareanu, Springer, 2009, Taschenbuch
(MODEL CHECKING SOFTWARE) BY Paperback (Author) Paperback Published on (08 , 2009)
von Corina S. Pasareanu, Springer, 2009, Taschenbuch
Corina S. Pasareanu | Autorenprofil und Werke | beck-shop.dewww.beck-shop.de › Corina S. Pasareanu
www.beck-shop.de
Hier finden Sie das komplette Autorenprofil von Corina S. Pasareanu . Außerdem erhalten Sie Zusatzinfos wie wichtige berufliche Stationen und aktuelle ...
Daniel Kroening (Author of Decision Procedures) - Goodreadswww.goodreads.com › Daniel_Kroening
www.goodreads.com
Corina Pasareanu (Editor),. Corina S P S Reanu (Editor) avg rating — 0 ratings. Want to Read saving… Error rating book. Refresh and try again.
Foundations of Intelligent Systems: 17th International Symposium, ...books.google.com › books
books.google.de
... Masoud Mansouri-Samani, Peter Mehlitz, Corina Pasareanu, Thomas Pressburger, and Johan Schumann. References , Springer, Heidelberg (2007) 6.
SPIN Model Checking and Software Verification: 7th International SPIN...
books.google.de
Springer-Verlag, A. Aho, R. Sethi, ... James Corbett, Matthew Dwyer, John Hatcliff, Corina Pasareanu, Robby, Shawn Laubach, and Hongjun Zheng.
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.de
Springer-Verlag, Invited paper. 3. J-M J. Corbett, M. Dwyer, John Hatcliff, Corina Pasareanu, Robby, S. Laubach, and H. Zheng.
Automated Technology for Verification and Analysis: 9th International...
books.google.de
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in...
CONCUR Concurrency Theory: 19th International Conference,...
books.google.de
Marta Kwiatkowska Orna Kupferman Kim Larsen Nancy Lynch P. Madhusudan Ugo Montanari Anca Muscholl Catuscia Palamidessi Corina Pasareanu Scott ...
Formal Aspects of Component Software: 9th International Symposium, ...books.google.com › books
books.google.de
Revised Selected Papers Corina S Pasareanu, Gwen Salaün DOI Springer Heidelberg Dordrecht London New York ...
Computer Aided Verification: 26th International Conference, CAV 2014,...
books.google.de
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of...
Formal Aspects of Component Software: 7th International Workshop,...
books.google.de
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães,...
Formal Methods for Industrial Critical Systems: 16th International...
books.google.de
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy,...
Formal Aspects of Component Software: 9th International Symposium,...
books.google.de
Mullins Peter Olveczky Corina Pasareanu Frantisek Plasil Pascal Poizat Shaz
Qadeer ...
Leveraging Applications of Formal Methods, Verification, and...
books.google.de
... France Pascal Montag Daimler AG, Germany Alessandro Moschitti University of Trento, Italy Corina Pasareanu CMU/NASA Ames, USA Alexander K. Petrenko ...
Foundations of Intelligent Systems: 17th International Symposium,...
books.google.de
Corina Pasareanu, Thomas Pressburger, and Johan Schumann. References 1.
Model Checking Software: 15th International SPIN Workshop, Los...
books.google.de
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in...
Hardware and Software: Verification and Testing: 10th International...
books.google.de
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November The...
Secure Communicating Systems: Design, Analysis, and Implementation -...
books.google.de
More and more working computer professionals are confronted with the use, maintenance, or customization of cryptographic components and program certification...
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett...
books.google.de
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May...
Verification, Model Checking, and Abstract Interpretation: 12th
books.google.de
This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011,...
Computer Aided Verification: 22nd International Conference, CAV
books.google.de
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July...
Formal Techniques for Networked and Distributed Systems - FORTE 2002:...
books.google.de
The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice...
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th...
books.google.de
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the...
Model Checking Software: 9th International SPIN Workshop Grenoble,...
books.google.de
... Aided Verification, number 697 in LNCS, pages 479–490, Springer-Verlag, ... Roby Joehanes, Shawn Laubach, Corina Pasareanu, Robby, Willem Visser, and ...
Eigenschaftsorientierte Beschreibung der logischen Architektur...
books.google.de
David Trachtenherz entwickelt einen Lösungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise...
Verwandte Suchanfragen zu Corina Pasareanu
Kasper Luckow |
Personen Vorname "Corina" (4345) Name "Pasareanu" (1) |
sortiert nach Relevanz / Datum