Yazar
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
Format:
Electronic Resources
Alıntı:
Self-Stabilizing Algorithms -- Parametric Updates in Parametric Timed Automata -- Parametric Statistical Model
View Other Search Results
Yazar
Falcone, Yliès. editor.
Format:
Electronic Resources
Alıntı:
Self-Adaptation -- Some Thoughts on Runtime Verification -- Why Tags Could be It -- First International Summer
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: