( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters.

, , , и . RP, том 8169 из Lecture Notes in Computer Science, стр. 83-95. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Federica Capranico

Renato Capraro

Gabriele Caprano-Diehl

Félicien Capraro

Hildegard Caprano

 

Другие публикации лиц с тем же именем

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