( en | de | ru )

 

Disambiguierung von "Capra, Lorenzo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models.

, , , , , und . MASCOTS, Seite 36-48. IEEE Computer Society, (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.

Federica Capranico

Renato Capraro

Gabriele Caprano-Diehl

Félicien Capraro

Hildegard Caprano

 

Weitere Publikationen von Autoren mit dem selben Namen

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.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)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 Model of Self-adaptive Systems and Its (Semi-)Automated Support.. WorldCIST (1), Volume 1159 von Advances in Intelligent Systems and Computing, Seite 715-725. Springer, (2020)Emulating Self-adaptive Stochastic Petri Nets., und . EPEW, Volume 12039 von Lecture Notes in Computer Science, Seite 33-49. Springer, (2019)