( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
polyDD: Towards a Framework Generalizing Decision Diagrams.

, , , , и . ACSD, стр. 124-133. IEEE Computer Society, (2010)

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.

Ulrich Kordon

Anja Kordon

Michael Kordon

Günter Kordon

Andreas Kordon

 

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

Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System., , , и . FAABS, том 1871 из Lecture Notes in Computer Science, стр. 123-132. Springer, (2000)Have You Found the Error? A Formal Framework for Learning Game Verification., , , , и . EC-TEL, том 8719 из Lecture Notes in Computer Science, стр. 476-481. Springer, (2014)Efficient state-based analysis by introducing bags in Petri nets color domains., , , , и . ACC, стр. 5018-5025. IEEE, (2009)On the Formal Verification of Middleware Behavioral Properties., , , , , и . FMICS, том 133 из Electronic Notes in Theoretical Computer Science, стр. 139-157. Elsevier, (2004)Using the AADL to Describe Distributed Applications from Middleware to Software Components., , и . Ada-Europe, том 3555 из Lecture Notes in Computer Science, стр. 67-78. Springer, (2005)Design, modeling and analysis of ITS using UML and Petri Nets., , , и . ITSC, стр. 314-319. IEEE, (2007)Experiences in Model Driven Verification of Behavior with UML., и . Monterey Workshop, том 6028 из Lecture Notes in Computer Science, стр. 181-200. Springer, (2008)Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach., , , и . Monterey Workshop, том 7539 из Lecture Notes in Computer Science, стр. 330-352. Springer, (2012)A Model Based Development Approach for Distributed Embedded Systems., , и . RISSEF, том 2941 из Lecture Notes in Computer Science, стр. 137-151. Springer, (2002)Hierarchical Set Decision Diagrams and Automatic Saturation., , и . Petri Nets, том 5062 из Lecture Notes in Computer Science, стр. 211-230. Springer, (2008)