Author of the publication

A New Synchronization in Finite Stochastic Petri Box Calculus.

, , , and . ACSD, page 216-225. IEEE Computer Society, (2003)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems., , and . IESS, volume 184 of IFIP, page 125-136. Springer, (2005)Quantum invariants for the graph isomorphism problem., , , , , , and . CoRR, (2022)Specifying the memorization process with STOPA., , and . IEEE ICCI, page 238-247. IEEE Computer Society, (2005)Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets., , , and . FMICS, volume 66 of Electronic Notes in Theoretical Computer Science, page 120-131. Elsevier, (2002)A New Synchronization in Finite Stochastic Petri Box Calculus., , , and . ACSD, page 216-225. IEEE Computer Society, (2003)GPU Powered ROSA Analyzer., , and . ICPP, page 901-908. IEEE Computer Society, (2013)Computational analysis of Canny & Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors., and . ICCI*CC, page 305-312. IEEE Computer Society, (2012)Enhancing the expressivity of PADL for specifying Web Services Architectures., , , , and . TAMoCo, volume 169 of Frontiers in Artificial Intelligence and Applications, page 99-110. IOS Press, (2008)Towards a More Efficient Use of GPUs., and . ICCSA Workshops, page 3-9. IEEE Computer Society, (2011)A Denotational Model for Probabilistic and Nondeterministic Processes., , , and . ICDCS Workshop on Distributed System Validation and Verification, page E41-E48. (2000)