( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Modelling and Verification of Real-Time Self-Adaptive Systems.

, , и . DS-RT, стр. 1-8. IEEE, (2019)

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.

Franco Nüske

Franco Nüske

Franco Caldarone

Franco Kämmer

Franco Lehmann

 

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

Temporal verification of RT-DEVS models with implementation aspects., , , und . SpringSim, Seite 130. SCS/ACM, (2010)Deployment, configuration and management of mobile actor systems., , und . IASTED Conf. on Software Engineering and Applications, Seite 483-488. IASTED/ACTA Press, (2004)When edge intelligence meets cognitive buildings: The COGITO platform., , , , , und . Internet Things, (декабря 2023)Model Checking Mutual Exclusion Algorithms Using Uppaal., , und . CSOC (2), Volume 465 von Advances in Intelligent Systems and Computing, Seite 203-215. Springer, (2016)HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations., , , und . Simul. Model. Pract. Theory, 19 (1): 283-300 (2011)Improving Efficiency in Parallel Computing Leveraging Local Synchronization., , und . NUMTA(1), Volume 11973 von Lecture Notes in Computer Science, Seite 232-242. Springer, (2019)A Smartphone Application For The Monitoring Of Domestic Consumption Of Electricity., , , und . ECMS, Seite 295-300. European Council for Modeling and Simulation, (2013)Dynamic Sociality Minority Game., , , und . ECMS, Seite 27-33. European Council for Modeling and Simulation, (2011)Performance Comparison of Two Java-Based Actor Systems., , , und . ICICT (3), Volume 216 von Lecture Notes in Networks and Systems, Seite 79-88. Springer, (2021)An Efficient Algorithm for Clustering Sets., und . DS-RT, Seite 97-100. IEEE, (2023)