Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике
| Язык оригинала | не определен |
|---|---|
| Название основной публикации | Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, 23-24 September 2005. P. 31-41. |
| Состояние | Опубликовано - 2005 |
| Опубликовано для внешнего пользования | Да |
ID: 4428420