Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings /

Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings /

PSZJBL

Bibliographic Details
Main Authors:	International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus), Bonsangue, Marcello M., Johnsen, Einar Broch, SpringerLink (Online service)
Format:
Language:	eng
Published:	Berlin Heidelberg : Springer-Verlag GmbH., 2007
Subjects:	Electronic data processing Object-oriented programming (Computer science)
Online Access:	http://dx.doi.org/10.1007/978-3-540-72952-5

Similar Items

Distributed Applications and Interoperable Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings /
by: IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems (7th : 2007 : Paphos, Cyprus), et al.
Published: (2007)

Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings /
by: Coordination 2007 (2007 : Paphos, Cyprus), et al.
Published: (2007)

First international conference on remote sensing and geoinformation of the environment : (RSCy2013) 8-10 April 2013, Paphos, Cyprus /
by: International Conference on Remote Sensing and Geoinformation of the Environment (1st : 2013 : Paphos, Cyprus), et al.
Published: (2013)

Home networking : First IFIP WG 6.2 Home Networking Conference (IHN'2007), Paris, France, December 10-12, 2007 /
by: Al Agha, Khaldoun, et al.
Published: (2008)

Formal techniques for networked and distributed systems-- FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
by: FORTE 2007 (2007 : Tallinn, Estonia), et al.
Published: (2007)

Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007: Proceedings /
by: IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (19th : 2007 : Tallinn, Estonia), et al.
Published: (2007)

Distributed Computing [electronic resource]: 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007: Proceedings/
by: DISC 2007 (2007 : Limassol, Cyprus), et al.
Published: (2007)

Software Technologies for Embedded and Ubiquitous Systems [electronic resource]: 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers/
by: SEUS 2007 (2007 : Thera Island, Greece), et al.
Published: (2007)

Proceedings of the 2nd International Workshop on Semantic Digital Archives‚ SDA 2012‚ Paphos‚ Cyprus‚ September 27‚ 2012
Published: (2012)

Network control and engineering for QoS, security and mobility : IFIP TC6/WG6.2 & WG6.7 Conference on Network Control and Engineering for QoS, Security, and Mobility (Net-Con 2002), October 23-25, 2002, Paris, France /
by: IFIP TC6/WG6.2 & WG6.7 Conference on Network Control and Engineering for QoS, Security, and Mobility (2002 : Paris, France), et al.
Published: (2003)

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
by: International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England), et al.
Published: (2007)

Formal methods for VLSI design : IFIP WG 10.5 lecture notes/
by: Staunstrup, Jorgen
Published: (1990)

Dependable and Adaptable Networks and Services [electronic resource] : 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007: Proceedings /
by: EUNICE 2007 (2007 : Enschede, Netherlands), et al.
Published: (2007)

Information security theory and practices [electronic resource]: :smart cards, mobile and ubiquitous computing systems ; First IFIP TC6/W G 8.8/ WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007 : proceedings/
by: WISTP 2007 (2007 : Herakleion, Greece), et al.
Published: (2007)

Information security theory and practices [electronic resource]: :smart cards, mobile and ubiquitous computing systems ; First IFIP TC6/W G 8.8/ WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007 : proceedings/
by: WISTP 2007 (2007 : Herakleion, Greece), et al.
Published: (2007)

Optical network design and modeling [electronic resource]: 11th International IFIP-TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007 : proceedings/
by: International Working Conference on Optical Network Design and Modelling (11th : 2007 : Athens, Greece), et al.
Published: (2007)

IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi
Published: (1997)

Mobile and wireless communication networks : IFIP TC6/WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004), October 25-27, 2004, Paris, France /
by: IFIP TC6/WG6.8 Conference on Mobile and Wireless Communication Networks ( 2004 : Paris, France), et al.
Published: (2005)

NETWORKING 2007 [electronic resource]: bad hoc and sensor networks, wireless networks, next generation internet : 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007 : proceedings/
by: International IFIP-TC6 Networking Conference (6th : 2007 : Atlanta, Ga.), et al.
Published: (2007)

Security management, integrity, and internal control in information systems : IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference
by: IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference on Security Management, Integrity, and Internal Control in Information Systems (1st : 2005 : Fairfax, Va.), et al.
Published: (2005)

Exploring Sentinel-1 Radar Polarisation and Landsat Series Data to Detect Forest Disturbance from Dust Events: A Case Study of the Paphos Forest in Cyprus
by: Christos Theocharidis, et al.
Published: (2025-02-01)

Is formative measurement really measurement?Reply to Bollen (2007) and Bagozzi (2007)/
by: Howell, Roy D., et al.

6.061 / 6.690 Introduction to Electric Power Systems, Spring 2007
by: Kirtley, James
Published: (2007)

Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007: Proceedings /
by: NPC 2007 (2007 : Dalian Shi, China), et al.
Published: (2007)

Experimental Algorithms [electronic resource] : 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007: Proceedings /
by: WEA 2007 (2007 : Rome, Italy), et al.
Published: (2007)

IT innovation for adaptability and competitiveness : IFIP TC8/WG8.6 seventh Working Conference on IT Innovation for Adaptability and Competitiveness, May 30-June 2, 2004, Leixlip, Ireland /
by: IFIP TC8/WG8.6 Working Conference on IT Innovation for Adaptability and Competitiveness (7th : 2004 : Leixlip, Ireland), et al.
Published: (2004)

Building university electronic educational environments : IFIP TC3 WG3.2/3.6 International Working Conference on Building University Electronic Educational Environments August 4-6, 1999, Irvine, California, USA /
by: IFIP TC3 WG3.2/3.6 International Working Conference on Building Univesity Electronic Educational Environments (1999 : Irvine, Calif.), et al.
Published: (2000)

International conference on mathematical biology 2007 : ICMB07 Putrjaya, Malaysia, 4-6 September 2007 /
by: International Conference on Mathematical Biology (Malaysia) (2007 : Putrajaya, Malaysia), et al.
Published: (2008)

National oral health survey of school children 2007 (NOHSS 2007) : 6 year olds : report /
by: Malaysia. Kementerian Kesihatan. Institut Kesihatan Umum, et al.
Published: (2009)

Human work interaction design : designing for human work : the first IFIP TC 13.6 WG conference : designing for human work, February 13-15, 2006, Madeira, Portugal /
by: IFIP TC 13.6 WG Conference on Designing for Human Work (1st : 2006 : Madeira, Madeira Islands), et al.
Published: (2006)

Data and Applications Security XXI [electronic resource] : 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007: Proceedings /
by: IFIP WG 11 Working Conference on Data and Applications Security (21st : 2007 : Redondo Beach, Calif.), et al.
Published: (2007)

Collaborative networks and their breeding environments : IFIP TC5 WG 5.5 Sixth IFIP Working Conference on Virtual Enterprises, 26-28 September, 2005, Valencia, Spain /
by: IFIP TC5 WG5.5 Working Conference on Virtual Enterprises (6th : 2005 : Valencia, Spain), et al.
Published: (2005)

6.00 Introduction to Computer Science and Programming, Fall 2007
by: Guttag, John
Published: (2007)

Organizational dynamics of technology-based innovation [electronic resource]: diversifying the research agenda : IFIP TC 8 WG 8.6 international working conference, June 14-16, Manchester, UK/
by: McMaster, Tom, et al.
Published: (2007)

Open IT-based innovation : moving towards cooperative IT transfer and knowledge diffusion : IFIP TC8 WG 8.6 International Working Conference October 22-24, 2008, Madrid, Spain /
by: IFIP TC8 WG 8.6 International Working Conference (2008 : Madrid, Spain), et al.
Published: (2008)

Entertainment computing - ICEC 2007 : 6th international conference, Shanghai, China, september 15-17, 2007 /
by: Ma, Lizhuang, et al.
Published: (2007)

Network-centric collaboration and supporting frameworks : IFIP TC 5 WG 5.5, seventh IFIP Working Conference on Virtual Enterprises, September 25-27, 2006, Helsinki, Finland /
by: IFIP TC5 WG5.5 Working Conference on Virtual Enterprises (7th : 2006 : Helsinki, Finland), et al.
Published: (2006)

Human-computer interaction - INTERACT 2007 : 11th IFIP TC 13 international conference, Rio de Janeiro, Brazil, September 10-14, 2007 /
by: International Conference on Human-Computer Interaction (International Federation for Information Processing) (11th : 2007 : Rio de Janeiro, Argentina), et al.
Published: (2007)

Electronic government : 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007 proceedings
by: Electronic government (international conference) (6th : 2007 Sept : Regensburg, Germany), et al.
Published: (2007)

Cyprus
by: Ulbrich, A
Published: (2024)