Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Formal Methods for Safety and Security Case Studies for Aerospace Applications
Formal Methods for Safety and Security Case Studies for Aerospace Applications
Author 
Nanda, Manju. editor. Jeppu, Yogananda. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4121-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Low Earth Orbit Satellite Design
Low Earth Orbit Satellite Design
Author 
Sebestyen, George. author. Fujikawa, Steve. author. Galassi, Nicholas. author. Chuchra, Alex. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68315-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for ACS Without an Attitude
ACS Without an Attitude
Author 
Hallock, Harold L. author. Welter, Gary. author. Simpson, David G. author. Rouff, Christopher. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-7325-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology
Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology
Author 
Pohl, Klaus. editor. Broy, Manfred. editor. Daembkes, Heinrich. editor. Hönninger, Harald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48003-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Model-Based Engineering of Embedded Systems The SPES 2020 Methodology
Model-Based Engineering of Embedded Systems The SPES 2020 Methodology
Author 
Pohl, Klaus. editor. Hönninger, Harald. editor. Achatz, Reinhold. editor. Broy, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34614-9
Format: 
Availability 
Online Library~1
Available:
Copies: