Formal Specification of Symbolic-Probabilistic Systems.

Natalia López Manuel Núñez Ismael Rodríguez

Published in: FORTE Workshops (2004)

Keyphrases

formal specification
formal methods
model checking
object oriented design
specification language
real world
knowledge base
cooperative
software engineering
building blocks
business processes
process algebra