hrcak mascot   Srce   HID

Rezultati pretrage

Broj rezultata: 6 Sortiraj prema: Relevantnosti Datumu izdavanja
[eng] A Formalism and a Verification Method for Bus-Based Systems
Balarin, Felice
Izvorni znanstveni članak
Cjeloviti tekst:   engleski / PDF (7 MB)
Hrčak ID: 150424
[eng] Exploring Properties of a Bounded Retransmission Protocol with VIS
Meolic, Robert; Kapus, Tatjana; Brezočnik, Zmago
Izvorni znanstveni članak
Cjeloviti tekst:   engleski / PDF (5 MB)
Hrčak ID: 130484
[eng] Embedded Systems Development Tools: A MODUS-oriented Market Overview
Loupis, Michalis
Izvorni znanstveni članak
Business Systems Research, Vol. 5, No. 1, 2014.
Cjeloviti tekst:   engleski / PDF (701 KB)
Hrčak ID: 118868
[eng] The MODUS Approach to Formal Verification
Brewka, Lukasz; Soler, José; Berger, Michael
Izvorni znanstveni članak
Business Systems Research, Vol. 5, No. 1, 2014.
Cjeloviti tekst:   engleski / PDF (444 KB)
Hrčak ID: 118869
[eng] Computer Games as Virtual Environments for Safety-Critical Software Validation
Korečko, Štefan; Sobota, Branislav
Izvorni znanstveni članak
Cjeloviti tekst:   engleski / PDF (1 MB)
Hrčak ID: 190738
[eng] RESETting Timed Machines
Stulman, Ariel
Izvorni znanstveni članak
Cjeloviti tekst:   engleski / PDF (533 KB)
Hrčak ID: 67546
 [1-6]