Вы здесь
Camara J.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Theorem Proving for Product Line Moel Verification | 2004 | Mannion M., Camara J. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 13.07.2004 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Assurances for Self-Adaptive Systems. Principles, Models, and Techniques | 2013 | Lecture Notes in Computer Science |
|
19.02.2013 | |||
СБ | Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 2019 | 2020 | Lecture Notes in Computer Science |
|
20900 | 02.10.2020 |