СТ |
Stochastic Dependability Analysis of System Architecture Based on UML Models |
2003 |
Majzik I., Pataricza A., Bondavalli A. |
|
|
|
Lecture Notes in Computer Science |
13.01.2004 |
СТ |
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models |
2002 |
Varro D., Pataricza A. |
|
|
|
Lecture Notes in Computer Science |
30.10.2002 |
СТ |
Quantitative Analysis of UML Statechart Models of Dependable Systems |
2002 |
Huszerl G., Majzik I., Pataricza A., Kosmidis K., Cin M. D. |
|
|
|
The Computer J. |
14.06.2002 |
СТ |
Hierarchical Checking of Multiprocessors Using Watchdog Processors |
1994 |
Majzik I., Pataricza A., Cin M. D., Hohl W., Honig W., Sieh V. |
|
|
|
Lecture Notes in Computer Science |
21.10.1994 |
СТ |
Fault Tolerance in Distributed Shared Memory Multiprocessors |
1993 |
Dal Cin M., Grygier A., Hessenauer H., Holdebrand U., Honig J., Hohl W., Michel E., Pataricza A. |
|
|
|
Lecture Notes in Computer Science |
05.11.1993 |