ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems.

Giacomo Bucci Luigi Sassoli Enrico Vicario

Published in: QEST (2004)

Keyphrases

real time
state space
data analysis
intelligent systems
heuristic search
expert systems
management system
low cost
complex systems
analysis tool
database systems
quality of service
software tools
telecommunication systems