"Formal Methods for Open Object-based Distributed Systems: Volume 1"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Formal Methods for Open Object-based Distributed Systems: Volume 1	Elie Najm; Jean-Bernard Stefani	1st ed. 1997	Springer US
Formal Methods for Open Object-based Distributed Systems: Volume 2	Howard Bowman; John Derrick	1st ed. 1997	Springer US
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6. 1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy	Paolo Ciancarini; Alessandro Fantechi; Roberto Gorrieri	1999	Springer US
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6. 1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands	Bart Jacobs; Arend Rensink	2002	Springer US
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA	Scott F. Smith; Carolyn L. Talcott	2000	Springer US
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6. 1 International Conference, FMOODS 2003, Paris, France, November 19. 21, 2003, Proceedings	Elie Najm; Uwe Nestmann; Perdita Stevens	2003	Springer Berlin Heidelberg
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6. 1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings	Marcello M. Bonsangue; Einar Broch Johnsen	2007	Springer Berlin Heidelberg
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6. 1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings	Gilles Barthe	2008	Springer Berlin Heidelberg
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6. 1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings	Martin Steffen; Gianluigi Zavattaro	2005	Springer Berlin Heidelberg
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6. 1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings	Roberto Gorrieri; Heike Wehrheim	2006	Springer Berlin Heidelberg
Open distributed systems /	Crowcroft, Jon.	[1995], ©1995.	Artech House,
Formal Methods for Embedded Distributed Systems: How to master the complexity	Fabrice Kordon; Michel Lemoine	2004	Springer US
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude	Peter Csaba Ölveczky	1st ed. 2017	Springer London
Security architecture for open distributed systems	Sead Muftic	1993	Wiley
Formal Methods and Object Technology	Stephen J. Goldsack; Stuart J.H. Kent	1996	Springer London
SDL: Formal Object-oriented Language for Communication Systems	Jan Ellsberger	February 15, 1997	Prentice Hall (Higher Education Division, Pearson Education)
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99	Jianping Wu; Samuel T. Chanson; Quiang Gao	1999	Springer US
Distributed Event-Based Systems	Gero Mühl; Ludger Fiege; Peter Pietzuch	2006	Springer Berlin Heidelberg
Computational Methods for Optimizing Distributed Systems	K.L. Teo and Z.S. Wu (Eds.)	1984	Academic Press
Formal Languages, Automata and Numeration Systems Volume 1	Michel Rigo	2014	John Wiley & Sons
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Erratum to: Formal Methods for Open Object-Based Distributed Systems	Roberto Gorrieri; Heike Wehrheim	Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6. 1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings	Roberto Gorrieri; Heike Wehrheim	2006	Springer Berlin Heidelberg
Erratum to: Formal Methods for Open Object-Based Distributed Systems V	Bart Jacobs; Arend Rensink	Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6. 1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands	Bart Jacobs; Arend Rensink	2002	Springer US
Erratum to: Formal Methods for Open Object-Based Distributed Systems IV	Scott F. Smith; Carolyn L. Talcott	Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA	Scott F. Smith; Carolyn L. Talcott	2000	Springer US
Developing Object-Based Distributed Systems	Marcello M. Bonsangue; Joost N. Kok; Kaisa Sere	Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6. 1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy	Paolo Ciancarini; Alessandro Fantechi; Roberto Gorrieri	1999	Springer US
14110 Distributed Object-Based Systems		Distributed Systems: Principles and Paradigms	Andrew S. Tanenbaum, Maarten van Steen	2006	Pearson
9 DISTRIBUTED OBJECT-BASED SYSTEMS		Distributed Systems: Principles and Paradigms	Andrew S. Tanenbaum, Maarten van Steen	2002	Prentice Hall
1319 Distributed Object-Based Systems		Distributed Systems: Principles and Paradigms	Andrew S. Tanenbaum, Maarten van Steen	2002	Prentice Hall
Role-Based Serializability for Distributed Object Systems	Youhei Tanaka; Tomoya Enokido; Makoto Takizawa	Database and Expert Systems Applications: 17th International Conference, DEXA 2006, Krakow, Poland, September 4-8, 2006, Proceedings	Stephane Bressan; Josef Küng; Roland Wagner	2006	Springer Berlin Heidelberg
Supervisory Control and Formal Methods for Distributed Systems	Kemal İnan	Discrete Event Systems: Modeling and Control: Proceedings of a Joint Workshop held in Prague, August 1992	S. Balemi; P. Kozák; R. Smedinga	1993	Birkhäuser Basel
Formal Object Oriented Specification of Distributed Systems	Elspeth Cusack	Specification and Verification of Concurrent Systems	Charles Rattray	1990	Springer London
A Framework for Formal Reasoning about Open Distributed Systems	Lars-åke Fredlund; Dilian Gurov	Advances in Computing Science - ASIAN' 99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings	P. S. Thiagarajan; Roland Yap	1999	Springer Berlin Heidelberg
Distributed object systems		Augmented reality: principles and practice /	Schmalstieg, D.; Höllerer, Tobias,		Addison-Wesley Professional
Object-Oriented Specification and Open Distributed Systems	Einar Broch Johnsen; Olaf Owe	From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl	Olaf Owe; Stein Krogdahl; Tom Lyche	2004	Springer Berlin Heidelberg
Verification of Distributed Object-Based Systems	Fernando L. Dotti; Luciana Foss; Leila Ribeiro; Osmar M. dos Santos	Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6. 1 International Conference, FMOODS 2003, Paris, France, November 19. 21, 2003, Proceedings	Elie Najm; Uwe Nestmann; Perdita Stevens	2003	Springer Berlin Heidelberg
Chapter 10 Distributed Object-Based Systems		Distributed systems: principles and paradigms	Tanenbaum, Andrew S; Steen, Maarten van	2013;2014	Pearson
Open Distributed Systems		Encyclopedia of Parallel Computing	David Padua	2011	Springer US
Tutorial on Formal Methods for Distributed and Cooperative Systems	Christine Choppy; Serge Haddad; Hanna Klaudel; Fabrice Kordon; Laure Petrucci; Yann Thierry-Mieg	Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings	Kamel Barkaoui; Ana Cavalcanti; Antonio Cerone	2006	Springer Berlin Heidelberg
Formal Methods for Distributed Computing in Future Railway Systems	Alessandro Fantechi; Stefania Gnesi; Anne E. Haxthausen	Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III	Tiziana Margaria; Bernhard Steffen	1st ed. 2020	Springer International Publishing
Object Clustering Methods and a Query Decomposition Strategy for Distributed Object-Based Information Systems	Eric Leclercq; Marinette Savonnet; Marie-Noëlle Terrasse; Kokou Yétongnon	Database and Expert Systems Applications: 10th International Conference, DEXA' 99, Florence, Italy, August 30 - September 3, 1999, Proceedings	Trevor J.M. Bench-Capon; Giovanni Soda; A Min Tjoa	1999	Springer Berlin Heidelberg
Formal Methods and Agent-Based Systems	Michael Luck; Mark d’Inverno	Agent Technology from a Formal Perspective	Christopher Rouff	2006	Springer London
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Formal Methods for Open Object-based Distributed Systems: Volume 1" - similar Books and Chapters