Group by: Item Type | No Grouping
Number of items: 1.
Venticinque, Alessio (2014) Semantic Techniques for Verification and Validation of Safety Critical Embedded Systems in Industrial Applications. [Tesi di dottorato]
Venticinque, Alessio (2014) Semantic Techniques for Verification and Validation of Safety Critical Embedded Systems in Industrial Applications. [Tesi di dottorato]