( en | de | ru )

 

Disambiguation of "von Bochmann, Gregor"

Author of the publication

copydeleteadd this publication to your clipboard
Combining ASN1 Support with the LOTOS Language.

, and . PSTV, page 175-186. North-Holland, (1989)

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.

Gregor Bochmann

Gregor ˜vonœ Arx

Heinz Bochmann

Hellmuth Bochmann

Jörg Bochmann

 

Other publications of authors with the same name

Realizability of Collaboration-based Service Specifications., , and . APSEC, page 73-80. IEEE Computer Society, (2007)Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters., and . IEEE Trans. Software Eng., 20 (1): 29-42 (1994)Software Testing Based on SDL Specifications with Save., , and . IEEE Trans. Software Eng., 20 (1): 72-87 (1994)Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method., , and . IEEE Trans. Software Eng., 20 (2): 149-162 (1994)A Test Design Methodology for Protocol Testing., , and . IEEE Trans. Software Eng., 13 (5): 518-531 (1987)Delay-Independent Design for Distributed Systems.. IEEE Trans. Software Eng., 14 (8): 1229-1237 (1988)Hardware Specification with Temporal Logic: En Example.. IEEE Trans. Computers, 31 (3): 223-231 (1982)Synchronization and Specification Issues in Protocol Testing., and . IEEE Trans. Commun., 32 (4): 389-395 (1984)Some Experience with the Use of Formal Specifications., , , , , , , , and . PSTV, page 171-185. North-Holland, (1982)Test Selection Based on Finite State Models., , , , and . IEEE Trans. Software Eng., 17 (6): 591-603 (1991)