Login / Signup
The Role of Proof in a Formal Specification of the Speedway Rulebook.
Helen Lowe
John Lowe
Published in:
IWFM (1999)
Keyphrases
</>
formal specification
specification languages
model checking
object oriented design
specification language
process algebra
reverse engineering
data abstraction
concurrent systems
formal methods
grid workflow
model checker
software components
distributed systems
artificial intelligence
real world
databases
database