( en | de | ru )

 

Disambiguation of "Trcka, Nikola"

Author of the publication

copydeleteadd this publication to your clipboard
Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets.

, , and . ACSD, page 13-18. IEEE Computer Society, (2011)

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.

Michael Trcka

Jiri Trcka

Nikola Brzovic

Nikola Pantscheff

Nikola Sirakoff

 

Other publications of authors with the same name

Compositionality for Markov reward chains with fast and silent transitions., , , and . Perform. Evaluation, 66 (8): 435-452 (2009)Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract)., , , and . FORMATS, volume 7595 of Lecture Notes in Computer Science, page 1-6. Springer, (2012)Workflow Data Footprints.. BIS, volume 47 of Lecture Notes in Business Information Processing, page 218-229. Springer, (2010)Analyzing a chi model of a turntable system using Spin, CADP and Uppaal., , , , , , , and . J. Log. Algebraic Methods Program., 65 (2): 51-104 (2005)Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets., , and . ACSD, page 13-18. IEEE Computer Society, (2011)Compositionality for Markov Reward Chains with Fast Transitions., , , and . EPEW, volume 4748 of Lecture Notes in Computer Science, page 18-32. Springer, (2007)Branching bisimulation congruence for probabilistic systems., , and . Theor. Comput. Sci., 413 (1): 58-72 (2012)Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets., , , and . OPODIS, volume 5401 of Lecture Notes in Computer Science, page 538-541. Springer, (2008)Branching Bisimilarity with Explicit Divergence., , and . Fundam. Informaticae, 93 (4): 371-392 (2009)Stuttering Congruence for chi., and . SPIN, volume 3639 of Lecture Notes in Computer Science, page 185-199. Springer, (2005)