Yazar
Franch, Xavier. editor. (orcid)0000-0001-9733-8830
Format:
Electronic Resources
Alıntı:
management, microservices, and continuous experimentation. This book also includes papers from the co-located
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
-- Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems -- Status Report on
View Other Search Results
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
-- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal
Arama Sonuçlarını Sınırlandır
Daraltılmış: