| |
| 2007 | ||
|---|---|---|
| 3 | EE | Sergiy Kryvyy, Lyudmila Matvyeyeva: Algorithm of Translation of MSC-specified System into Petri Net. Fundam. Inform. 79(3-4): 431-445 (2007) |
| 2005 | ||
| 2 | EE | Sergiy Kryvyy, Lyudmila Matvyeyeva, Mariya Lopatina: Automatic Modeling and Analysis of MSC-specified Systems. Fundam. Inform. 67(1-3): 107-120 (2005) |
| 2004 | ||
| 1 | Lyudmila Matvyeyeva, Sergiy Kryvyy, Mariya Lopatina: Automatic Analysis and Verification of MSC-Specified Telecommunication System. ICINCO (2) 2004: 402-405 | |
| 1 | Sergiy Kryvyy | [1] [2] [3] |
| 2 | Mariya Lopatina | [1] [2] |