Login / Signup

Hazard Analysis in Formal Specification.

Kaisa SereElena Troubitsyna
Published in: SAFECOMP (1999)
Keyphrases
  • formal specification
  • object oriented design
  • specification language
  • process algebra
  • model checking