Rezultati

eNauka >  Rezultati >  Formal verification of embedded software based on software compliance properties and explicit use of time
Naziv: Formal verification of embedded software based on software compliance properties and explicit use of time
Autori: Bašičević, Ilija  ; Popović, Miroslav  
Godina: 2011
Publikacija: International journal of computers
ISSN: 2367-8895 Pretraži identifikator
Izdavač: Sofia: IARAS
Tip rezultata: Naučni članak
Kolacija: 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
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.