Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Railway Infrastructure Designs -- Formal Verification of Safety PLC Based Control Software -- Enabling
View Other Search Results
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Human-in-the-Loop Control Systems -- Learning Regular Languages over Large Alphabets -- Verification of Concurrent
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: