hrcak mascot   Srce   HID

Rezultati pretrage

Broj rezultata: 3 Sortiraj prema: Relevantnosti Datumu izdavanja
[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] The Investigation of TLC Model Checker Properties
Shkarupylo, Vadym Viktorovych; Tomičić, Igor; Kasian, Kostiantyn Mykolaiovych
Prethodno priopćenje
Cjeloviti tekst:   engleski / PDF (723 KB)
Hrčak ID: 160012
[eng] Generating Diagnoses for Probabilistic Model Checking Using Causality
Debbi, Hichem; Bourahla, Mustapha
Izvorni znanstveni članak
Cjeloviti tekst:   engleski / PDF (229 KB)
Hrčak ID: 103375
 [1-3]