Results
| Naziv: | An Approach to Formal Verification of Embedded Software | Autori: | Bašičević, Ilija   ; Popović, Miroslav |
Godina: | 2011 | Publikacija: | WSEAS Int. Conf. on COMPUTERS, (15, 2011, Corfu Island Greece) July 15 - 17, 2011. | Izdavač: | World Scientific and Engineering Academy and Society (WSEAS) | Tip rezultata: | Konferencijski rad | ISBN: | 978-1-61804-019-0  Pretraži identifikator |
Kolacija: | str. 29-34 | URI: | https://enauka.gov.rs/handle/123456789/125186 | Izvor metapodataka: | Migrirano iz RIS podataka | Napomena o dostupnosti: | Подаци и/или пуни текст су непотпуни | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.