( en | de | ru )

 

Disambiguierung von "Capra, Lorenzo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic State Space Exploration of RT Systems in the Cloud.

, , , und . SYNASC, Seite 295-302. IEEE Computer Society, (2012)

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.

Federica Capranico

Renato Capraro

Gabriele Caprano-Diehl

Félicien Capraro

Hildegard Caprano

 

Weitere Publikationen von Autoren mit dem selben Namen

Self-Evolving Petri Nets., und . J. Univers. Comput. Sci., 13 (13): 2002-2034 (2007)A lumped Markov process for a class of dynamic Petri nets.. SpringSim (ANSS), Seite 188-197. SCS/ACM, (2011)1-930638-56-6.Distributed CTL Model Checking in the Cloud., , , und . CoRR, (2013)SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation., , und . ICATPN, Volume 1639 von Lecture Notes in Computer Science, Seite 168-187. Springer, (1999)MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters., , , und . RP, Volume 8169 von Lecture Notes in Computer Science, Seite 83-95. Springer, (2013)A Formal Framework for Specifying and Verifying Microservices Based Process Flows., , , und . SEFM Workshops, Volume 10729 von Lecture Notes in Computer Science, Seite 187-202. Springer, (2017)Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets, , und . Electronic Notes in Theoretical Computer Science, 128 (4): 59 - 77 (2005)Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling (PASM 2004) Practical Applications of Stochastic Modelling 2004.An Efficient Maude Formalization of (Rewritable) PT Nets.. SYNASC, Seite 186-193. IEEE, (2021)A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets.. MASCOTS, Seite 458-461. IEEE Computer Society, (2010)A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems., und . FSEN, Volume 159 von Electronic Notes in Theoretical Computer Science, Seite 41-59. Elsevier, (2005)