( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic State Space Exploration of RT Systems in the Cloud.

, , , и . SYNASC, стр. 295-302. IEEE Computer Society, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Matteo Garavoglia

Matteo Gabba

Marco Matteo

Matteo Bertini

Matteo Rini

 

Другие публикации лиц с тем же именем

Formal verification problems in a big data world: towards a mighty synergy.. ICSE Companion, стр. 638-641. ACM, (2014)Model-Based Testing Under Parametric Variability of Uncertain Beliefs., и . SEFM, том 12310 из Lecture Notes in Computer Science, стр. 175-192. Springer, (2020)Distributed CTL model checking using MapReduce: theory and practice., , , и . Concurr. Comput. Pract. Exp., 28 (11): 3025-3041 (2016)Collaborative AI Needs Stronger Assurances Driven by Risks., , , , , , , и . CoRR, (2021)Modeling Performance of Microservices Systems with Growth Theory., и . Empir. Softw. Eng., 27 (2): 39 (2022)Verification of Reachability Problems for Time Basic Petri Nets.. CoRR, (2014)Formalizing distributed self-adaptive systems using high-level petri nets., и . SummerSim, стр. 28:1-28:12. ACM, (2019)PPTAMλ: What, Where, and How of Cross-domain Scalability Assessment., , , , , , , и . ICSA Companion, стр. 62-69. IEEE, (2021)Towards Better Trust in Human-Machine Teaming through Explainable Dependability., , , , , и . ICSA-C, стр. 86-90. IEEE, (2023)Engineering Self-adaptive Microservice Applications: An Experience Report., , , , и . ICSOC (1), том 14419 из Lecture Notes in Computer Science, стр. 227-242. Springer, (2023)