( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model-checking of infinite graphs defined by graph grammars.

, и . INFINITY, том 5 из Electronic Notes in Theoretical Computer Science, стр. 16. Elsevier, (1996)

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.

Jean-Marie Yves Lamour

Koba Yves-Marie Tognon

Charlotte Marien

Wolfgang Marienfeld

Martin Marienburg

 

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

Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars., и . FORTE, том 69 из IFIP Conference Proceedings, стр. 364-379. Chapman & Hall, (1996)Test Generation for CEFSM Combining Specification and Fault Coverage., , , и . TestCom, том 210 из IFIP Conference Proceedings, стр. 355-372. Kluwer, (2002)A Model for Conformance Testing of Mobile Agents in a MASIF Framework., и . FAABS, том 2699 из Lecture Notes in Computer Science, стр. 173-192. Springer, (2002)Techniques for Abstracting SDL Specifications., , , и . SAM, том 2599 из Lecture Notes in Computer Science, стр. 141-157. Springer, (2002)Model-checking of infinite graphs defined by graph grammars., и . INFINITY, том 5 из Electronic Notes in Theoretical Computer Science, стр. 16. Elsevier, (1996)Application of Two Test Generation Tools to an Industrial Case Study., , , , и . TestCom, том 3964 из Lecture Notes in Computer Science, стр. 134-148. Springer, (2006)Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry., , и . SDL Forum, том 4745 из Lecture Notes in Computer Science, стр. 242-257. Springer, (2007)Model-checking of infinite Kripke structures defined by simple graph grammars., и . SEGRAGRA, том 2 из Electronic Notes in Theoretical Computer Science, стр. 222-229. Elsevier, (1995)Testing Mobile Agents., , и . TestCom, том 210 из IFIP Conference Proceedings, стр. 95-110. Kluwer, (2002)A Typical Testing Problem: Validating WML Cellphones.. SPIN, том 2318 из Lecture Notes in Computer Science, стр. 241. Springer, (2002)