Резултати

еНаука >  Резултати >  Formal verification of embedded software based on software compliance properties and explicit use of time
Назив: Formal verification of embedded software based on software compliance properties and explicit use of time
Аутори: Bašičević, Ilija  ; Popović, Miroslav  
Година: 2011
Публикација: International journal of computers
ISSN: 2367-8895 Претражи идентификатор
Издавач: Sofia: IARAS
Тип резултата: Научни чланак
Колација: 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
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.