( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Tuning Temporal Features within the Stochastic π-Calculus.

, , и . IEEE Trans. Software Eng., 37 (6): 858-871 (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.

Olivier Roux

Pascale Roux

Vergleich psychologischer Usability-Evaluationsmethoden am Beispiel einer Bibliothekswebsite. Uni Duisburg-Essen, (2008)

Gundela Roux-Spangenberg

Roland Rouxel

Alfred Roux

 

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

Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata., и . Hybrid Systems, том 999 из Lecture Notes in Computer Science, стр. 405-416. Springer, (1994)Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition., , , , и . CMSB, том 8130 из Lecture Notes in Computer Science, стр. 50-63. Springer, (2013)Verification of Embedded Reactive Fiffo Systems., , , , и . LATIN, том 2286 из Lecture Notes in Computer Science, стр. 400-414. Springer, (2002)A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network., , и . CMSB, том 9308 из Lecture Notes in Computer Science, стр. 8-12. Springer, (2015)Analysis of Slope-Parametric Hybrid Automata., , , и . HART, том 1201 из Lecture Notes in Computer Science, стр. 75-80. Springer, (1997)Tuning Temporal Features within the Stochastic π-Calculus., , и . IEEE Trans. Software Eng., 37 (6): 858-871 (2011)ELECTRE: A language using control structure expressions to specify synchronization., и . ACM Annual Conference, стр. 240-245. ACM, (1985)A Genetically Modified Hoare Logic., , , , и . CoRR, (2015)Extending the Translation from SDL to Promela., , , и . SPIN, том 2318 из Lecture Notes in Computer Science, стр. 79-94. Springer, (2002)A Formal Model for Gene Regulatory Networks with Time Delays., , , и . CSBio, том 115 из Communications in Computer and Information Science, стр. 1-13. Springer, (2010)