• English
    • Deutsch
  • English 
    • English
    • Deutsch
  • Login
View Item 
  •   Home
  • _Andere Einrichtungen
  • Publikationsnachweise
  • View Item
  •   Home
  • _Andere Einrichtungen
  • Publikationsnachweise
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Do You Trust Your Model Checker?

Erstveröffentlichung
2000
Authors
Reif, Wolfgang
Ruf, Jürgen
Schellhorn, Gerhard
Vollmer, Tobias
Editor
Hunt Jr., W. A.
Johnson, S. D.
Beitrag zu einer Konferenz


Published in
Proceedings of the 3rd International Conference on Formal Methods in Computer-Aided Design (FMCAD2000), Austin, Texas, USA / . HuntJr., Warren A. ; Johnson, Seven D. (Hrsg.). - Berlin ; Heidelberg : Springer, 2000. - (Lecture Notes in Computer Science ; 1954). - S. 199-216. - ISBN 978-3-540-41219-9, ISBN 978-3-540-40922-9
Link to publication
https://dx.doi.org/10.1007/3-540-40922-X_12
Conference
Design Patterns for the Implementation of Constraints on JavaBeans, 2000-11-01 - 2000-11-03, Austin
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works

Metadata
Show full item record

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsPersonsInstitutionsPublication typesUlm SerialsDewey Decimal ClassesEU projects UlmDFG projects UlmOther projects Ulm

My Account

LoginRegister

Statistics

View Usage Statistics

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement