Title of article :
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Author/Authors :
U. Buy and R.H. Sloan ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Keywords :
real-time verification , real-time systems , automated analysis , experimental evaluation , Petri nets
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
