Logo
Registracija
Postani član
Nazad
L. Hatvani
1 2014.

Formal Verification of Adaptive Real-Time Systems by Extending Task Automata

Preuzmi PDF

Pretplatite se na novosti o BH Akademskom Imeniku

Početna
Pretraga
Prijavi se

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

Saznaj više