Вы здесь
Riccobene E.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Automatic Model Driven Animation of SCR Specifications | 2003 | Gargantini A., Riccobene E. | Lecture Notes in Computer Science | 17.04.2003 | |||
| СТ | Modeling the Dynamics of UML State Machines | 2000 | Borger E., Cavarra A., Riccobene E. | Lecture Notes in Computer Science | 27.10.2000 | |||
| СТ | An ASM Semantics for UML Activity Diagrams | 2000 | Borger E., Cavarra A., Riccobene E. | Lecture Notes in Computer Science | 17.06.2000 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday | 2021 | Lecture Notes in Computer Science |
|
20.08.2021 | |||
| СБ | Abstract State Machines 2003 - Advances in Theory and Practice: Proc./10th Intern. Workshop, ASM 2003, Taormina, Italy, March 2003 | 2003 | Lecture Notes in Computer Science |
|
28.03.2003 |