Results
| Naziv: | Formalization and Verification of the PSTM architecture | Autori: | A. Liu; H. Zhu; Popović, Miroslav V   |
Godina: | 2017 | Publikacija: | 24th Asia-Pacific Software Engineering Conference (APSEC 2017) | Izdavač: | IEEE, Nanjing, Jiangsu, China | Tip rezultata: | Konferencijski rad | ISBN: | 978-1-5386-3681-7  Pretraži identifikator |
DOI: | 10.1109/APSEC.2017.49 | WoS-ID: | 000428733800043 | Scopus-ID: | 2-s2.0-85045916174 | URI: | https://enauka.gov.rs/handle/123456789/193236 | URL: | http://www.apsec2017.org/ https://ieeexplore.ieee.org/document/8305965 |
Izvor metapodataka: | Migrirano iz RIS podataka | Napomena: | verifikacija urađena na osnovu uvida u apstrakt | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.