Formal System Development with KIV.

Michael Balser Wolfgang Reif Gerhard Schellhorn Kurt Stenzel Andreas Thums

Published in: FASE (2000)

Keyphrases

case study
software engineering
database
development environment
image processing
mobile robot
knowledge based systems
development process
formal model
st century
formal specification