Login / Signup
Refinement of State-Based Concurrent Systems.
Jim Woodcock
Carroll Morgan
Published in:
VDM Europe (1990)
Keyphrases
</>
concurrent systems
transition systems
real time
data sets
neural network
model checking
temporal logic
social networks
multiscale
software engineering
knowledge based systems
formal specification