|
СТ |
Nested Nets for Adaptive Systems |
2006 |
Van Hee K., Lomazova I. A., Oanea O., Serebrenik A., Sidorova N., Voorhoeve M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.08.2006 |
|
СТ |
Synchronous Closing and Flow Analysis for Model Checking Timed Systems |
2004 |
Ioustinova N., Sidorova N., Steffen M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
12.02.2005 |
|
СТ |
Timed Verification with mCRL |
2003 |
Blom S., Ioustinova N., Sidorova N. |
|
|
|
Lecture Notes in Computer Science |
18.02.2004 |
|
СТ |
Soundness and Separability of Worlflow Nets in the Stepwise Refinement Approach |
2003 |
Van Hee K., Sidorova N., Voorhoeve M. |
|
|
|
Lecture Notes in Computer Science |
23.07.2003 |
|
СТ |
A Transformation of SDL Specification - A Step towards the Verification |
2001 |
Ioustinova N., Sidorova N. |
|
|
|
Lecture Notes in Computer Science |
06.02.2002 |
|
СТ |
Verifying Large SDL-Specifications Using Model Checking |
2001 |
Sidorova N., Steffen M. |
|
|
|
Lecture Notes in Computer Science |
04.08.2001 |
|
СТ |
Embedding Chaos |
2001 |
Sidorova N., Steffen M. |
|
|
|
Lecture Notes in Computer Science |
31.07.2001 |
