Parametric Analysis of Computer Systems

Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analysis algorithm is much simpler and can run more efficiently in average cases than can previous works.

• Type: Conference
• Year: 1997
• Where: AMAST
• Authors: Farn Wang, Pao-Ann Hsiung
• Keywords: AMAST 1997, Parameter Variables, Parametric Analysis Problem, Realtime Automata, Software Engineering