Formal Methods for the International Space Station ISS.
Jan PeleskaBettina ButhPublished in: Correct System Design (1999)
Keyphrases
- formal methods
- international space station
- space station
- robot path planning
- telemetry data
- path planner
- test bed
- knowledge based systems
- model checking
- artificial intelligence
- mobile robot
- path planning
- formal specification
- software engineering
- space shuttle
- modeling language
- formal specification language
- expert systems
- knowledge base