Results
eNauka >
Results >
Formal verification of embedded software based on software compliance properties and explicit use of time
| Title: | Formal verification of embedded software based on software compliance properties and explicit use of time | Authors: | Bašičević, Ilija   ; Popović, Miroslav |
Issue Date: | 2011 | Publication: | International journal of computers | ISSN: | 2367-8895  Search Idenfier |
Publisher: | Sofia: IARAS | Type: | Article | Collation: | vol. 5 br. 3 str. 423-430 | URI: | https://enauka.gov.rs/handle/123456789/409068 | URL: | http://www.naun.org/multimedia/NAUN/computers/20-800.pdf | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.