Login / Signup

Formal specification and state space analysis of an operational planning process.

Brice MitchellLars Michael KristensenLin Zhang
Published in: Int. J. Softw. Tools Technol. Transf. (2007)
Keyphrases
  • formal specification
  • state space
  • planning process
  • decision making
  • petri net
  • heuristic search
  • model checking
  • object oriented design
  • specification languages