|
СТ |
Automatic Verification of Hybrid Systems with Large Discrete State Space |
2006 |
Damm W., Disch S., Hungar H., Pang J., Pigorsch F., Scholl Ch., Waldmann U., Wirtz B. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
11.01.2007 |
|
СТ |
Model Generation for Legacy Systems |
2004 |
Hungar H., Margaria T., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
27.04.2004 |
|
СТ |
Behaviour-Based Model Construction |
2003 |
Steffen B., Hungar H. |
|
|
|
Lecture Notes in Computer Science |
31.01.2003 |
|
СТ |
A Compositional Real-Time Semantics of STATEMATE Designs |
1998 |
Damm W., Josko B., Hungar H., Pnueli A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
|
СТ |
Specification and Verification Using a Visual Formalism on Top of Temporal Logic |
1996 |
Hungar H. |
|
|
|
Lecture Notes in Computer Science |
24.12.1996 |
|
СТ |
Traverdi - Transformation and Verification of Distributed Systems |
1995 |
Bohn J., Hungar H. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
|
СТ |
VIII. Statecharts |
1995 |
Damm W., Hungar H., Kelb P., Schlor R. |
|
|
|
Lecture Notes in Computer Science |
25.03.1995 |
|
СТ |
Local Model Checking for Parallel Compositions of Context-Free Processes |
1994 |
Hungar H. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Model Checking of Macro Processes |
1994 |
Hungar H. |
|
|
|
Lecture Notes in Computer Science |
28.07.1994 |
|
СТ |
The Complexity of Verifying Functional Programs |
1993 |
Hungar H. |
|
|
|
Lecture Notes in Computer Science |
06.04.1993 |
