Login / Signup

Incremental Specification with Joint Actions: The RPC-Memory Specification Problem.

Reino Kurki-Suonio
Published in: Formal Systems Specification (1994)
Keyphrases
  • action language
  • learning algorithm
  • case study
  • high level
  • formal methods
  • specification language
  • reactive systems
  • data sets
  • databases
  • hidden markov models
  • conceptual model
  • temporal logic
  • temporal ordering