( en | de | ru )

 

Disambiguierung von "Nigro, Libero"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Temporal verification of RT-DEVS models with implementation aspects.

, , , und . SpringSim, Seite 130. SCS/ACM, (2010)

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

Loretana Libero

Libero Gerosa

Libero Girolami

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Modelling and Verification of Real-Time Self-Adaptive Systems., , und . DS-RT, Seite 1-8. IEEE, (2019)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)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)Efficient and Reliable Clustering by Parallel Random Swap Algorithm., , und . DS-RT, Seite 25-28. IEEE, (2022)Temporal Uncertainty Time Warp: An Agent-Based Implementation., , , und . Annual Simulation Symposium, Seite 72-79. IEEE Computer Society, (2002)Agents+Control: A Methodology for CPSs., , und . DS-RT, Seite 45-52. IEEE Computer Society, (2016)Integration and Interoperability between Jini services andWeb Services., , und . IEEE SCC, Seite 278-285. IEEE Computer Society, (2007)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)