Yazar
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation. https://scigraph.springernature.com/ontologies/product-market
Yazar
Chen, Yu-Fang. editor.
Format:
Electronic Resources
Alıntı:
systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.
Yazar
Bartocci, Ezio. editor.
Format:
Electronic Resources
Alıntı:
-- Time-triggered Runtime Verification of Component-Based Multi-core Systems -- Monitoring for a decidable fragment
Yazar
Mazzara, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Systems -- Rigorous System Design Flow for Autonomous Systems -- Learning Models for Verification and
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Systems -- Using Statistical Model Checking for Measuring Systems -- Blocking Advertisements on Android
Arama Sonuçlarını Sınırlandır
Daraltılmış: