Login / Signup
Type Specifications with Processes.
Franz Puntigam
Published in:
FORTE (1995)
Keyphrases
</>
delay insensitive
search engine
image processing
process model
machine learning
case study
multiscale
mobile robot
development process
formal specification
stochastic processes
control flow