• Suche: Formal methods for open object based distributed systems

Treffer 1 - 20 von 338.696

1

Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997
Bowman, H. ; Derrick, J. ; Brinksma, E.
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 26(7):577-578 Jul, 2000

Fachzeitschrift
Merkliste
4

Erratum to: Formal Methods for Open Object-Based Distributed Systems
Gorrieri, Roberto ; Wehrheim, Heike
Lecture Notes in Computer Science ; Formal Methods for Open Object-Based Distributed Systems ; page E1-E1 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540348931 9783540348955

Buch
Merkliste
5

Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Bonsangue, M.M. (Marcello) ; Johnsen, E.B. (Einar Broch) ; Bonsangue, M.M. (Marcello) ; et al.

E-Ressource
Merkliste
6

Third IFIP WG6.1 International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99), Florence, Italy, 15-18 February 1999
Semini, L. ; Zavattaro, G.
BULLETIN- EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE. 68:189-191

Zeitschrift
Merkliste
8

Review: Formal Methods for Open Object-Based Distributed Systems V
Liquori, Luigi ; Objects, types and prototypes : semantics and validation (MIRHO) ; Centre Inria d'Université Côte d'Azur ; et al.
ISSN: 0010-4620.

object-oriented distribu... formal methods [INFO.INFO-CL]Computer S... [INFO.INFO-LO]Computer S...
Fachzeitschrift
Merkliste
9

Formal Methods for Open Object-Based Distributed Systems V : FIP TC6
Jacobs, B. ; Jacobs, B.

IFIP Advances in Informa... Digital Security.
Merkliste
10

Guest editor's introduction (Selected papers for the 2nd IFIP International Conference on Formal Methods for Open Object Based Distributed Systems (1997))
Bowman, H. ; Derrick, J. ; Brinksma, E. ; et al.
IEEE Transactions on Software Engineering vol.26 (2000) nr.7 p.577-578 [ISSN 0098-5589]

E-Ressource
Merkliste
12

Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997
Bowman, H. ; Derrick, J. ; Brinksma, E.
IEEE transactions on software engineering. 26(7):577-578

Zeitschrift
Merkliste
15

Verification of Distributed Object-Based Systems
International conference on formal methods for open object-based distributed systems
Dotti, F. L. ; Foss, L. ; Ribeiro, L. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. :261-275

Konferenz
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter