A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties.

Autor: Braberman, Victor, Kicillof, Nicolas, Olivero, Aifredo

Publikováno v: IEEE Transactions on Software Engineering; Dec2005, Vol. 31 Issue 12, p1028-1041, 14p, 13 Diagrams, 1 Chart