Sign in
Parametric probabilistic transition systems for system design and analysis.
Ruggero Lanotte
Andrea Maggiolo-Schettini
Angelo Troina
Published in:
Formal Aspects Comput. (2007)
Keyphrases
</>
transition systems
knowledge based systems
software architecture
case study
search algorithm
business processes
design process