|
СТ |
X2Rel: An XML Relation Language with Formal Semantics |
2003 |
Janowski T. |
|
|
|
Lecture Notes in Computer Science |
25.12.2003 |
|
СТ |
Semantics and Logic for Provable Fault-Tolerance, A Tutorial |
1998 |
Janowski T. |
|
|
|
Lecture Notes in Computer Science |
18.12.1998 |
|
П |
Categories for System Integration |
1996 |
Janowski T. |
|
|
UNU/IIST |
UNU/IIST |
09.01.1997 |
|
П |
Domain Analysis for Manufacturig: Formalization |
1996 |
Janowski T. |
|
|
UNU/IIST |
|
02.07.1996 |
|
П |
Virtual Enterprise: On Refinement Towards an ODP Architecture |
1996 |
Janowski T., Acebedo C. M. |
|
|
UNU/IIST |
|
02.07.1996 |
|
СТ |
Fault-Tolerant Bisimulation and Process Transformations |
1994 |
Janowski T. |
|
|
|
Lecture Notes in Computer Science |
19.10.1994 |
