Bochmann, Gregor von 1941-
Bochmann, Gregor von.
Bochmann, Gregor V.
Bochmann, Gregor V., 1941-
Gregor Bochmann physicien canadien
VIAF ID: 100288995 ( Personal )
Permalink: http://viaf.org/viaf/100288995
Preferred Forms
- 200 _ | ‡a Bochmann ‡b Gregor Von
- 100 1 _ ‡a Bochmann, Gregor V.
-
- 100 1 _ ‡a Bochmann, Gregor V. ‡d 1941-
-
-
-
-
- 100 1 _ ‡a Bochmann, Gregor von, ‡d 1941-
- 100 1 _ ‡a Bochmann, Gregor von, ‡d 1941-
-
-
-
- 100 1 _ ‡a Bochmann, Gregor von, ‡d 1941-....
-
- 100 1 _ ‡a Bochmann, Gregor von ‡d 1941-
- 100 0 _ ‡a Gregor Bochmann ‡c physicien canadien
4xx's: Alternate Name Forms (37)
5xx's: Related Names (7)
- 510 2 _ ‡a Centre de recherche informatique de Montréal
- 510 2 _ ‡a Morphol. Jahrbuch
- 510 2 _ ‡a Université du Québec à Montréal ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a University (Ottawa)
- 510 2 _ ‡a University of Ottawa ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Université de Montréal
- 510 2 _ ‡a Université du Québec à Montréal
Works
Title | Sources |
---|---|
Applications des methodes formelles aux developpements de systemes : en telecommunications, systemes VLSI et systemes de controle-commande temps reel = Application of formal methods to system development : telecommunications, VLSI and real-time computerized control systems | |
Architecture of distributed computer systems | |
Bunsan shori shisutemu nyūmon | |
CAV'92 | |
CFIP'93, ingénierie des protocoles | |
Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992 : proceedings | |
Computer aided verification / G. von Bochmann, D. K. Probst (eds.). - Berlin, 1992. | |
Computer networks, architecture and applications : proceedings of the IFIP TC6 working conference on computer networks, architecture and applications, NETWORKS '92, Trivandrum, India, 28-29 October, 1992 | |
Concepts for distributed systems design | |
Data structuring facilities for interactive videotex systems | |
Die Entwicklung der Sæugetierwirbel der hinteren Kørperregionen | |
Formal description techniques, VIII : proceedings of IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 | |
Formalized specification and analysis of a virtual file system | |
Investigating the realizability of collaboration-based service specifications | |
Langages formels | |
Message link protocol (MLP) ; functional specification | |
Mondel : an object-oriented specification language : rapport technique | |
n79126578 | |
A New approach to architectural modelling and dynamic analysis of information systems and business processes : rapport technique | |
Protocol specification, testing, and verification, VI : proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification | |
Protocol test systems, V : proceedings of the IFIP TC6/WG6.1 Fifth Working Conference on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992 | |
A sampler of formal definitions | |
SDL '99, the next millennium : proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25, 1999 | |
SoftCOM 2001 | |
Testing of communicating systems : tools and techniques : IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29-September 1, 2000, Ottawa, Canada | |
Using collaborations in the development of distributed services | |
Vol. 2. | |
分散処理システム入門 |