Login / Signup
The TYPELAB Specification and Verification Environment.
Friedrich W. von Henke
Marko Luther
Holger Pfeifer
Harald Rueß
Detlef Schwier
Martin Strecker
Matthias Wagner
Published in:
AMAST (1996)
Keyphrases
</>
formal verification
real time
formal methods
mobile robot
model checking
neural network
artificial intelligence
decision making
programming environment
high level
dynamic environments
autonomous agents
formal specification
reactive systems
concurrent systems