( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Incremental Construction Approach for Distributed System Specifications.

, и . FORTE, том C-22 из IFIP Transactions, стр. 87-102. North-Holland, (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.

Gregor Bochmann

Gregor ˜vonœ Arx

Jörg Bochmann

Heinz Bochmann

Hellmuth Bochmann

 

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

Realizability of Collaboration-based Service Specifications., , и . APSEC, стр. 73-80. IEEE Computer Society, (2007)Formal specifications design, evolution and reuse., и . CASCON, стр. 184-193. IBM, (1993)Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems., , и . FORTE, том 2767 из Lecture Notes in Computer Science, стр. 399-414. Springer, (2003)Associativity between Weak and Strict Sequencing.. SAM, том 8769 из Lecture Notes in Computer Science, стр. 96-109. Springer, (2014)Testing k-Safe Petri Nets., и . TestCom/FATES, том 5826 из Lecture Notes in Computer Science, стр. 33-48. Springer, (2009)Phishing Attacks Modifications and Evolutions., , , , и . ESORICS (1), том 11098 из Lecture Notes in Computer Science, стр. 243-262. Springer, (2018)Some Experience with the Use of Formal Specifications., , , , , , , , и . PSTV, стр. 171-185. North-Holland, (1982)Deriving protocol specifications from service specifications written as Predicate/Transition-nets., , , и . Comput. Networks, 51 (1): 258-284 (2007)Using URL shorteners to compare phishing and malware attacks., , , , и . eCrime, стр. 1-13. IEEE, (2018)Synchronization in Distributed System Modules.. Berkeley Workshop, стр. 322-339. Technical Information Department, Lawrence Berkeley Laboratory, University of California, Berkeley CA, (1978)