Formal Specifications are Mathematical Example from Robotics.
Vangular S. AlagarKasi PeriyasamyPublished in: IROS (1992)
Keyphrases
- formal specification
- specification languages
- model checking
- object oriented design
- artificial intelligence
- specification language
- computer vision
- reverse engineering
- design methodology
- process algebra
- concurrent systems
- formal methods
- protocol specification
- software testing
- software components
- formal specification language
- software engineering
- mobile robot
- high level
- information systems