Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Rapid prototyping of software for avionics systems : model-oriented approaches for complex systems certification
Rapid prototyping of software for avionics systems : model-oriented approaches for complex systems certification
Author 
Larrieu, Nicolas, author. Varet, Antoine, author.
Preferred Shelf Number 
ONLINE(342171.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781119050643
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Challenges of Software Verification
Challenges of Software Verification
Author 
Arceri, Vincenzo. editor. Cortesi, Agostino. editor. Ferrara, Pietro. editor. Olliaro, Martina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9601-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets