A Formal Specification of the Process Trellis.

Published in: PARLE (2) (1991)

Keyphrases

formal specification
information systems
object oriented design
specification languages
real world
relational databases
knowledge representation
process model
model checking
formal methods
specification language