Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Suche: Model checking software

Treffer 41 - 60 von 56.856

41

Dieses Ergebnis kann Gästen nicht angezeigt werden.

42

Model Checking Software
Jaco van der Pol ; Michael Weber ; Jaco van der Pol ; et al.

SPIN (Computer file)--Co... Computer software--Verif... Computer simulation--Tes...
E-Book
Zu den Favoriten
43

Dieses Ergebnis kann Gästen nicht angezeigt werden.

44

Dieses Ergebnis kann Gästen nicht angezeigt werden.

45

Model Checking Software
Klaus Havelund ; Rupak Majumdar ; Jens Palsberg ; et al.

Software engineering Compilers (Computer prog... Computer programming Computer science
E-Book
Zu den Favoriten
46

Dynamic partial-order reduction for model checking software
Flanagan, C ; Godefroid, P
ACM Sigplan Notices, vol 40, iss 1

reliability partial-order reduction 0202 electrical engineer... software model checking 02 engineering and techn... algorithms …
Fachzeitschrift
Zu den Favoriten
47

Dieses Ergebnis kann Gästen nicht angezeigt werden.

48

Model Checking Software
Dragan Bosnacki ; Stefan Edelkamp ; Dragan Bosnacki ; et al.

Software engineering Compilers (Computer prog... Computer science
E-Book
Zu den Favoriten
49

A case study in model checking software systems
Wing, Jeannette M. ; Vaziri-Farahani, Mandana
Science of Computer Programming. 28:273-299

Model checking Cache coherence protocol... Verification 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
51

Dieses Ergebnis kann Gästen nicht angezeigt werden.

52

Model Checking Software
Antti Valmari ; Antti Valmari

Computer software--Verif...
E-Book
Zu den Favoriten
53

Model-Checking Software Library API Usage Rules
Fu Song ; Tayssir Touili
Lecture Notes in Computer Science ISBN: 9783642386121

0202 electrical engineer... 02 engineering and techn...
Buch
Zu den Favoriten
54

Model checking software for phylogenetic trees using distribution and database methods
Requeno José Ignacio ; Colom José Manuel
Journal of Integrative Bioinformatics, Vol 10, Iss 3, Pp 16-30 (2013)

Databases, Genetic Data processing, compute... Computer Simulation TP248.13-248.65 Algorithms Phylogeny …
Fachzeitschrift
Zu den Favoriten
55

Model Checking Software
UCL - SST/ICTM/INGI - Pôle en ingénierie informatique ; Fabrizio Biondi ; Given-Wilson, Thomas ; et al.

E-Ressource
Zu den Favoriten
56

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Susanne Graf ; Laurent Mounier ; Susanne Graf ; et al.

Computer software--Verif...
E-Book
Zu den Favoriten
57

Action Language: a specification language for model checking reactive systems
Bultan, T.
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium Software engineering 2000 Software Engineering, 2000. Proceedings of the 2000 International Conference on. :335-344 2000

Konferenz
Zu den Favoriten
58

Dieses Ergebnis kann Gästen nicht angezeigt werden.

59

Model Checking Software
Patrick Godefroid ; Patrick Godefroid

Computer software--Verif...
E-Book
Zu den Favoriten
60

Model checking for an executable subset of UML
Fei Xie ; Levin, V. ; Browne, J.C.
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Automated software engineering Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on. :333-336 2001

Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter