Logo
Nazad
L. Hatvani, P. Pettersson, C. Seceleanu
5 24. 3. 2012.

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems


Pretplatite se na novosti o BH Akademskom Imeniku

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

Saznaj više