La lecture à portée de main
Suivre
Documents
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot1
Documents
Etudes supérieures
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot1
17 pages
English
Documents
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot1
Documents
Etudes supérieures
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot1
22 pages
English
Documents
IF Tutorial IF Tutorial
Iulian Ober
Documents
Abstractions booléennes pour la vérification des systèmes temps-réel, Tools supported real-time system verification with combination of abstraction/deduction and Model checking
Eun-Young Kang
Documents
Savoirs
Abstractions booléennes pour la vérification des systèmes temps-réel, Tools supported real-time system verification with combination of abstraction/deduction and Model checking
Eun-Young Kang
192 pages
English
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}