Results
| Title: | An Approach to Formal Verification of Embedded Software | Authors: | Bašičević, Ilija   ; Popović, Miroslav |
Issue Date: | 2011 | Publication: | WSEAS Int. Conf. on COMPUTERS, (15, 2011, Corfu Island Greece) July 15 - 17, 2011. | Publisher: | World Scientific and Engineering Academy and Society (WSEAS) | Type: | Conference Paper | ISBN: | 978-1-61804-019-0  Search Idenfier |
Collation: | str. 29-34 | URI: | https://enauka.gov.rs/handle/123456789/125186 | Metadata source: | Migrirano iz RIS podataka | Availability note: | Подаци и/или пуни текст су непотпуни | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.