Duration Calculus in the Specification of Safety Requirements.

Simeon Veloudis Nimal Nissanke

Published in: FTRTFT (1998)

Keyphrases

application specific
transition systems
provably correct
formal language
formal specification
requirements specification
functional requirements
process algebra
safety critical
high level
hidden markov models
programming language
user defined
specification language
requirements analysis
software requirements