UB FFM: Suchergebnisse - Formal Methods for Open Object-Based Distributed Systems

zum Haupt-Inhalt

zur Seitenleiste (falls vorhanden)

zum Footer mit externen Links

Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein: Login

1
2
3
4
5
6
7
8
9
10
11
weiter

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

Prüfe Verfügbarkeit

2

Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99), Florence, Italy, 15-18 February 1999
BULLETIN- EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE. 64:331-341

Zeitschrift

Prüfe Verfügbarkeit

3

Formal Methods for Open Object-Based Distributed Systems V : FIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands
Jacobs, B. ; Rensink, A.A.M. ; Jacobs, B. ; et al.
~~~~~~~~~~

E-Ressource

Zum Volltext

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

View record in Springer

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

Zum Volltext

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

Prüfe Verfügbarkeit

7

Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997
Bowman, Howard ; Derrick, John ; Brinksma, E. ; et al.

E-Ressource

Zum Volltext

8

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

IFIP Advances in Informa... Digital Security.

Zum Volltext

9

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

Zum Volltext

10

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

Prüfe Verfügbarkeit

11

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

Konferenz

Prüfe Verfügbarkeit

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

Prüfe Verfügbarkeit

13

Checking consistency in UML diagrams: classes and state machines, in: Formal Methods for Open Object-Based Distributed Systems
Holger Rasch ; Heike Wehrheim ; The Pennsylvania State University CiteSeerX Archives
http://www.ie.inf.uc3m.es/grupo/docencia/reglada/ASDM/Rasch03.pdf.

Fachzeitschrift

Prüfe Verfügbarkeit

14

Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99), Florence, Italy, 15-18 February 1999
BULLETIN- EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE. 65:189-190

Zeitschrift

Prüfe Verfügbarkeit

15

[2] G. Agha, “Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systems,” in Formal Methods for Open Object-based Distributed Systems, IFIP Transactions, E.
X. Liu ; S. Neuendorffer ; Y. Zhao ; et al.
http://embedded.eecs.berkeley.edu/concurrency/ptolemy/references3.pdf.

Fachzeitschrift

Prüfe Verfügbarkeit

16

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

Prüfe Verfügbarkeit

17

Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm
Formal methods for open object-based distributed systems
Ogata, K. ; Futatsugi, K.
INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING - PUBLICATIONS - IFIP. :181-196

Konferenz

Prüfe Verfügbarkeit

18

On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems
International Conference on Formal Methods for Open Object-Based Distributed Systems; Formal techniques for distributed systems: joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 internatio
Kuhnrich, M. ; Nestmann, U.
LECTURE NOTES IN COMPUTER SCIENCE. (5522):198-212

Konferenz

Prüfe Verfügbarkeit

19

KeY: A Formal Method for Object-Oriented Systems
Formal methods for open object-based distributed systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, proceedings
Ahrendt, W. ; Beckert, B. ; Hahnle, R. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. (4468):32-43

Konferenz

Prüfe Verfügbarkeit

20

Tracing Integration Analysis in Component-Based Formal Specifications
Formal methods for open object-based distributed systems: 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
Lopez-Nores, M. ; Pazos-Arias, J. J. ; Garcia-Duque, J. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. :147-162

Konferenz

Prüfe Verfügbarkeit

1
2
3
4
5
6
7
8
9
10
11
weiter