Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике › научная
| Язык оригинала | не определен |
|---|---|
| Название основной публикации | ISoLA 2008, Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Greece) |
| Издатель | Springer Nature |
| Страницы | 478-489 |
| Состояние | Опубликовано - 2008 |
ID: 4428406