The Formal Specification of Safety Requirements for Storing Explosives.
Paul MukherjeeVictoria StavridouPublished in: Formal Aspects Comput. (1993)
Keyphrases
- formal specification
- specification languages
- specification language
- model checking
- object oriented design
- process algebra
- formal methods
- grid workflow
- reverse engineering
- data abstraction
- concurrent systems
- model checker
- data structure
- software engineering
- design methodologies
- case study
- database
- artificial intelligence
- real world