Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Your session will expire automatically in
0
seconds.
Continue session
End session now
Back to Search Results
SearchType
Keyword
Author
Title
Subject
Call Number
Search
Search Scope
PSU Library Consortium
Pittsburg State University
Academic Libraries
Public Libraries
Pittsburg Area
Unified School District
Leonard H. Axe Library
Career Resource Center Library
Eureka Public Library
Fort Scott Community College Library
George Nettels Elementary School Library
Kansas Technology Center Library
Lakeside Elementary School Library
Meadowlark Elementary School Library
Parsons Public Library
Pittsburg Community Middle School Library
Pittsburg High School Library
Pittsburg Public Library
Sedan Public Library
Westside Elementary School Library
Childrens Collection
Available items only
Previous Record
Next Record
Author
Bourbouh, Hamza, author.
Title
Integration and evaluation of the AdvoCATE, FRET, CoCoSim, and Event-B tools on the Inspection Rover case study / Hamza Bourbouh [and three others].
Publication Info.
Moffett Field, CA : National Aeronautics and Space Administration, Ames Research Center, December 2020.
Connect to
Copies
Description
1 online resource (59 pages, 1 unnumbered page) : illustrations (some color).
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Series
NASA/TM ; 20205011049
NASA technical memorandum ; 20205011049.
Note
"December 2020."
Bibliography
Includes bibliographical references (page 44).
Note
Description based on online resource, PDF version; title from title page (NASA, viewed on Jan. 4, 2021).
Subject
Semantics.
Added Author
Ames Research Center, issuing body.
Gpo Item No.
0830-D (online)
Sudoc No.
NAS 1.15:20205011049
Available items only