( en | de | ru )

 

Disambiguierung von "Cicirelli, Franco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Modelling and Verification of Real-Time Self-Adaptive Systems.

, , und . DS-RT, Seite 1-8. IEEE, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Franco Kämmer

Franco Nüske

Franco Nüske

Franco Caldarone

Franco Lehmann

 

Weitere Publikationen von Autoren mit dem selben Namen

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)IoT-Centric Edge Computing for Context-Aware Smart Environments., , , , und . ICIOT, Seite 168-171. IEEE Computer Society, (2018)Actor-Based Simulation of PDEVS systems over HLA., , und . Annual Simulation Symposium, Seite 229-236. IEEE Computer Society, (2008)Temporal verification of RT-DEVS models with implementation aspects., , , und . SpringSim, Seite 130. SCS/ACM, (2010)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)Improving Efficiency in Parallel Computing Leveraging Local Synchronization., , und . NUMTA(1), Volume 11973 von Lecture Notes in Computer Science, Seite 232-242. Springer, (2019)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)