Login / Signup

Refinement of State-Based Concurrent Systems.

Jim WoodcockCarroll 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