|
СТ |
A New Facility for Dynamic Control of Program Execution: DELI |
2002 |
Desoli G., Mateev N., Duesterwald E., Faraboschi P., Fischer J. |
|
|
|
Lecture Notes in Computer Science |
12.11.2002 |
|
СТ |
Distributed Systems: From Models to Components |
2001 |
Dubois F., Born M., Bohme H., Fischer J., Holz E., Kath O., Neubauer B., Stoinski F. |
|
|
|
Lecture Notes in Computer Science |
04.08.2001 |
|
СТ |
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes |
2000 |
Fischer J., Conrad S. |
|
|
|
Lecture Notes in Computer Science |
30.11.2000 |
|
СТ |
Petri Net Analysis of formal specifications in SDL |
1990 |
Fischer J., Holz E. |
|
|
|
Petri Nets Newsletter |
22.06.1995 |
|
СТ |
Different FDT`s Confronted with Different ODP-Viewpoints of the Trader |
1993 |
Fischer J., Prinz A., Vogel A. |
|
|
|
Lecture Notes in Computer Science |
27.05.1993 |
