verifikation - ECU Libraries Catalog

Start Over

You searched for: Keywords verifikation

Showing 1 - 10 of 16 results

Search Results

Cover image for Petri-Netz basierte verifikation von funktionalen testfällen

Petri-Netz basierte verifikation von funktionalen testfällen

by Thiel, Sebastian
2012
Format: Electronic

Location
Access Content Online

Cover image for Vérité et vérification

Vérité et vérification

by Colloque international de phénoménologie
1974
Format: Book

Location	Call #	Status
Joyner - General Stacks	B829.5 .C53 1969	✔ Available

Cover image for Automated technology for verification and analysis

Automated technology for verification and analysis

by ATVA 2009
2009
Format: Electronic

Location
Access Content Online

Cover image for Verified software

Verified software

by VSTTE 2010
2010
Format: Electronic

Location
Access Content Online

Cover image for Coordination models and languages

Coordination models and languages

by COORDINATION 2009
2009
Format: Electronic

Location
Access Content Online

Cover image for Formal foundations of reuse and domain engineering

Formal foundations of reuse and domain engineering

by International Conference on Software Reuse
2009
Format: Electronic

Location
Access Content Online

Cover image for Foundations and practice of security

Foundations and practice of security

by FPS 2011
2012
Format: Electronic

Location
Access Content Online

Cover image for Formal methods

Formal methods

by Brazilian Symposium on Formal Methods
2009
Format: Electronic

Location
Access Content Online

Cover image for Modular specification and verification of object-oriented programs

Modular specification and verification of object-oriented programs

by Müller, Peter, 1972-
2002
Format: Electronic

Location	Call #	Status
Joyner - General Stacks	QA76.64 .M85 2002	✔ Available

Cover image for Formal methods and software engineering

Formal methods and software engineering

by International Conference on Formal Engineering Methods
2009
Format: Electronic

Location
Access Content Online