Sciweavers

Share
AMAST
1997
Springer

Parametric Analysis of Computer Systems

10 years 8 months ago
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.
Farn Wang, Pao-Ann Hsiung
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where AMAST
Authors Farn Wang, Pao-Ann Hsiung
Comments (0)
books