Results
| Назив: | An Approach to Formal Verification of Embedded Software | Аутори: | Bašičević, Ilija   ; Popović, Miroslav |
Година: | 2011 | Публикација: | WSEAS Int. Conf. on COMPUTERS, (15, 2011, Corfu Island Greece) July 15 - 17, 2011. | Издавач: | World Scientific and Engineering Academy and Society (WSEAS) | Тип резултата: | Конференцијски рад | ISBN: | 978-1-61804-019-0  Претражи идентификатор |
Колација: | str. 29-34 | URI: | https://enauka.gov.rs/handle/123456789/125186 | Извор метаподатака: | Migrirano iz RIS podataka | Напомена о доступности: | Подаци и/или пуни текст су непотпуни | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.