Вы здесь

Главная

распределенная система

Связанные издания:

Formal Methods for Components and Objects: Revised Papers/9th International Symposium, FMCO 2010, Graz, Austria, November 2010
Formal Methods for Components and Objects: Revised Selected Papers/10th International Symposium, FMCO 2011, Turin, Italy, October 2011
Formal Methods for Eternal Networked Software System: Advanced Lectures/11th International School on Formal Methods for the Design of Computer..., SFM 2011, Bertinoro, Italy, June 2011
Formal Methods for Industrial Critical Systems: Proc./19th International Conference, FMICS 2014, Florence, Italy, September 2014
Formal Methods for Open Object-Based Distributed Systems: Proc./10th IFIP WG 6.1 International Conference, FMOODS 2008. Oslo, Norway, June 2008
Formal Methods for Open Object-Based Distributed Systems: Proc./6th IFIP WG 6.1 Intern. Conf., FMOODS 2003, Paris, France, November 2003
Formal Methods for Open Object-Based Distributed Systems: Proc./7th IFIP WG 6.1 International Conference, FMOODS 2005. Athens, Greece, June 2005
Formal Methods for Open Object-Based Distributed Systems: Proc./8th IFIP WG 6.1 International Conference, FMOODS 2006. Bologna, Italy, June 2006
Formal Methods for Open Object-Based Distributed Systems: Proc./9th IFIP WG 6.1 International Conference FMOODS 2007. Paphos, Cyprus, June 2007
Formal Methods for the Quantitative Evaluation of Collective Adaptive Sysytems: Advanced Lectures/16th International School, SFM 2016, Bertinoro, Italy, June 2016
Formal Methods: Foundations and Applicationas: Revised Selected Papers/12th Brazilian Symposium, SBMF 2009, Gramado Brazil, August 2009
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Formal-Model Based Performance Evaluation in Distributed Systems
Formal Semantics and Verification of Distributed Systems Presented by Basic-REAL Specifications
Formal Specification of JavaSpacesTM Architecture Using muCRL
Formal Systems Specification: The RPC-Memory Specification Case Study
Formal Techniques for Distributed Objects, Components, and Systems: Proc./34th IFIP WG 6.1 International Conference, FORTE 2014 Held as Part of the 9th International Federated Conference DisCoTec 2014, Berlin, Germany, June 2014
Formal Techniques for Distributed Objects, Components, and Systems: Proc./35th IFIP WG 6.1 International Conference, FORTE 2015 Held as Part of the International Federated Conference, DisCoTec 2015, Grenoble, France, June 2015
Formal Techniques for Distributed Objects, Components, and Systems: Proc./38th IFIP WG 6.1 International Conference, FORTE 2018 Held as Part of the 13th International Federated Conference, DisCoTec 2018, Madrid, Spain, June 2018
Formal Techniques for Distributed Objects, Components, and Systems: Proc./39th IFIP 6.1 International Conference, FORTE 2019 Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 2019
Formal Techniques for Distributed Objects, Components, and Systems: Proc./40th IFIP WG 6/1 International Conference, FORTE 202, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 2020
Formal Techniques for Distributed Objects, Components, and Systems: Proc./41st IFIP WG 6.1 International Conference, FORTE 2021 Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valetta, Malta, June 2021
Formal Techniques for Distributed Systems: Proc./Joint 11th IFIP WG6.1 Intl Conference FMOODS 2009 & 29th IFIP WG6.1 Intl Conference FORTE 2009. Lisboa, Portugal, June 2009
Formal Techniques for Distributed Systems: Proc./Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 2010
Formal Techniques for Networked and Distributed Systems - FORTE 2002: Proc./22nd IFIP WG 6.1 Intern. Conf., Houston, Texas, USA, November 2002
Formal Techniques for Networked and Distributed Systems - FORTE 2003: Proc./23rd IFIP WG 6.1 Intern. Conf., Berlin, Germany, September-October 2003
Formal Techniques for Networked and Distributed Systems - FORTE 2006: Proc./26th IFIP WG 6.1 International Conference. Paris, France, September 2006
Formal Techniques for Networked and Distributed Systems - FORTE 2008: Proc./28th IFIP WG 6.1 International Conference. Tokyo, Japan, June 2008
Formal Verification of Distributed Protocols with PVS
Formal Verification of Object-Oriented Software: Revised Selected Papers/ International Conference, FoVeOOS 2011, Turin, Italy, October 2011
Formal Verification of the Binary Exponential Backoff Protocol
Formal versus Material Ontologies for Information Systems Interpretation in the Semantic Web
Foundational Approaches to Software Engineering: Proc./14th International Conference, FASE 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: Revised Selected Papers/16th Monterey Workshop 2010, Redmont,WA,USA, March/April 2010
From Continuous Specification to Discrete Design
From Group Communication to Transactions in Distributed Systems
Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops: Proc./SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB & IST-AWSN. Niagara Falls, Canada, August 2007
Functional and Constraint Logic Programming: Revised Selected Papers/28th International Workshop, WFLD 2020, Bologna, Italy, September 2020
Functional and Logic Programming: Proc./15th International Symposium, FLOPS 2020, Acita Japan, September 2020
Fundamental Approaches to Software Engineering: Proc./15th International Conference, FASE 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012
Fundamental Approaches to Software Engineering: Proc./19th Intl Conference, FASE 2007, part of ETAPS 2007. Braga, Portugal, March/April 2007
Fundamental Approaches to Software Engineering: Proc./9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
Fundamentals of Software Engineering: Revised Selected Papers/8th International Conference, FSEN 2019, Tehran, Iran, May 2019
Fundamentals of Software Engineering: Revised Selected Papers/9th International Conference, FSEN 2021, Virtual Event, May, 2021
Further Remarks on the Relationship between C-E Structures and Petri Nets
Future Directions in Distributed Computing: Research and Position Papers
Fuzzy Situated-Automata Approach and Communication Network in Distributed System
Garbage Collecting the World: One Car at a Time
General Protocols for Consensus in Distributed Systems
Genetic Programming: Proc./23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 2020