Search Results for Software engineering

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

4 Results Found

0000DEFAULT

Cover image for Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Author

Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105417

Format:

Availability

Online Library~1

Available:
Copies:

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:

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:

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

	{displayName}	{count}
{error}