BH akademski imenik

Nazad

Aida Čaušević, C. Seceleanu, P. Pettersson

6 15. 10. 2012.

Checking Correctness of Services Modeled as Priced Timed Automata

Leveraging Applications of Formal Methods

Pretplatite se na novosti o BH Akademskom Imeniku

Ova stranica koristi kolačiće da bi vam pružila najbolje iskustvo