( en | de | ru )

 

Disambiguierung von "Nigro, Libero"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Checking Mutual Exclusion Algorithms Using Uppaal.

, , und . CSOC (2), Volume 465 von Advances in Intelligent Systems and Computing, Seite 203-215. Springer, (2016)

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.

Silvia Nigro

Abdelmalek Nigro

Libero Gerosa

Loretana Libero

Libero Girolami

 

Weitere Publikationen von Autoren mit dem selben Namen

Performance of a multi-agent system over a multi-core cluster managed by Terracotta., , , und . SpringSim (TMS-DEVS), Seite 125-133. SCS/ACM, (2011)Formal Modelling and Verification of Real-Time Self-Adaptive Systems., , und . DS-RT, Seite 1-8. IEEE, (2019)Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets., und . Concurrent Object-Oriented Programming and Petri Nets, Volume 2001 von Lecture Notes in Computer Science, Seite 493-513. Springer, (2001)Seamless development in Java of distributed real-time systems using actors., , und . Int. J. Simul. Process. Model., 15 (1/2): 13-29 (2020)ViCRO: An Interactive and Cooperative VideoRecording on-demand System over MBone., und . Informatica (Slovenia), (2000)A Cooperative Playback System for On-Demand Multimedia Sessions over Internet., und . IEEE International Conference on Multimedia and Expo (I), Seite 41-44. IEEE Computer Society, (2000)Efficient and Reliable Clustering by Parallel Random Swap Algorithm., , und . DS-RT, Seite 25-28. IEEE, (2022)Improving Clustering Accuracy of K-Means and Random Swap by an Evolutionary Technique Based on Careful Seeding., und . Algorithms, 16 (12): 572 (2023)Super Actors for Real Time., , , und . WORDS, Seite 142-152. IEEE Computer Society, (2001)Qualitative and quantitative evaluation of stochastic Time Petri Nets., , und . FedCSIS, Volume 5 von Annals of Computer Science and Information Systems, Seite 763-772. IEEE, (2015)