Wczytuję...
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Artykuły
Profile
Mój profil
Moja biblioteka
Dane
Alerty
Ustawienia
Zaloguj się
Zaloguj się
Profile
Mój profil
Moja biblioteka
Stefano Tonetta
Fondazione Bruno Kessler
Zweryfikowany adres z fbk.eu
Cytowane przez 3788
Formal verification
Model checking
Requirements validation
Hybrid systems
Prywatność
Warunki
Pomoc
Informacje o Google Scholar
Pomoc dotycząca wyszukiwarki