( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Testability of a Communicating System Through an Environment.

, , , и . TAPSOFT, том 668 из Lecture Notes in Computer Science, стр. 529-543. Springer, (1993)

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 Azema

Pierre Mattern

Pierre Gottschlich

Pierre Nyabyenda

Pierre Mangold

 

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

Testability of a Communicating System Through an Environment., , , и . TAPSOFT, том 668 из Lecture Notes in Computer Science, стр. 529-543. Springer, (1993)A Bus Instrumentation Protocol Specified in LOTOS., , и . FORTE, стр. 263-269. North-Holland, (1990)Petri nets as a common tool for design verification and hardware simulation., , и . DAC, стр. 109-116. ACM, (1976)Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets., , , и . ICSE, стр. 510-519. IEEE Computer Society, (1984)On a Prolog Environment for Protocol Analysis., , и . ICDCS, стр. 444-451. IEEE Computer Society, (1986)A Formal Assessment of Synchronous Testability for Communicating Systems., , , и . ICDCS, стр. 149-156. IEEE Computer Society, (1993)Layered -net Specification of a Workshop., , и . PDPTA, стр. 2808-2814. CSREA Press, (1999)Petri net based models for the specification and validation of protocols., и . European Workshop on Applications and Theory in Petri Nets, том 188 из Lecture Notes in Computer Science, стр. 101-121. Springer, (1984)Protocol analysis by using predicate nets., и . PSTV, стр. 119-130. North-Holland, (1985)Characterizing and Ordering Errors Detected by Conformance Testing., , , и . Protocol Test Systems, том C-11 из IFIP Transactions, стр. 67-78. North-Holland, (1992)