Tools and algorithms for the construction and analysis of systems : :: SCD d'Orléans

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19 20, 1995 : selected papers

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19 20, 1995 : selected papers

This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. The workshop brought together 46 researchers interes...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	International workshop on tools and algorithms for the construction and analysis of systems :Aarhus
Altres autors:	Larsen, Kim Guldstrand, 1957- (Director editorial), Cleaveland, Walter Rance, 1961-2024 (Director editorial), Brinksma, Ed (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 1019
Matèries:	Génie logiciel Informatique Traitement réparti Systèmes, Conception de Réseaux d'ordinateurs Développement Logiciels Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Tools and algorithms for the construction and analysis of systems, first international workshop, TACAS "95, Aarhus, Denmark, May 19-20, 1995, selected papers, E. Brinksma ... [et al.], eds, Berlin, Springer, 1995, 1 vol. (289 p.), Lecture notes in computer science, 3-540-60630-0 • Tools and Algorithms for the Construction and Analysis of Systems, Texte imprimé, 9783662170984

Ítems similars

Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 29, 1996 : proceedings

Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

Policies for distributed systems and networks : international workshop, POLICY 2001, Bristol, UK, January 29-31, 2001 : proceedings

Tools and algorithms for the construction and analysis of sytems : 4th International Conference, TACAS '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings

Tools and algorithms for the construction and analysis of systems : third international Workshop, TACAS '97 Enschede, The Netherlands, April 2 4, 1997 : proceedings

Objective coordination in multi-agent system engineering : design and implementation
per: Schumacher, Michael, 1971-

Mobile agents : First International Workshop, MA '97, Berlin, Germany, April 7 8, 1997 : proceedings

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 12, 2002 : proceedings

Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 11, 2003 : proceedings

Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

Future directions in distributed computing : research and position papers
per: Schiper, André, 1949-

Object-based parallel and distributed computation : France-Japan Workshop, OBPDC ±95, Tokyo, Japan, June 21 23, 1995 : selected papers

Grid Computing - GRID 2000 : First IEEE/ACM International Workshop, Bangalore, India, December 17, 2000 : proceedings

Principles of distributed systems : 7th international conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003 : revised selected papers

Intelligent agents. agent theories, architectures, and languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997 : proceedings
per: Singh, Munindar Paul, 1964-

Cooperative environments for distributed systems engineering : the distributed systems environment report
per: Drira, Khalil, 19..-

Distributed algorithms : 9th international workshop, WDAG '95, Le-Mont-Saint-Michel, France, September 13-15, 1995 : proceedings

Formal systems specification : the RPC-memory specification case study
per: Broy, Manfred, 1949-

Grid computing - GRID 2002 : third international workshop, Baltimore, MD, USA, November 18, 2002 : proceedings

Application of Petri nets to communication networks : advances in Petri nets
per: Billington, Jonathan, 19..-

Advances in computing science ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings

Coordination models and languages : 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings
per: De Nicola, Rocco

Middleware 2003 : ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16 20, 2003 : proceedings

Scientific engineering of distributed Java applications : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers
per: Guelfi, Nicolas, 1965-

Agents breaking away : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96 Eindhoven, The Netherlands, January 22-25, 1996 : proceedings
per: Van De Velde, Walter, 19..-

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21 23, 1997 : proceedings

Scientific engineering for distributed Java applications : international workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002 : revised papers

Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12 16, 2001 : proceedings

Middleware 2004 : ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-22, 2004 : roceedings
per: Jacobsen, Hans-Arno, 1969-

Grid computing : First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003 : revised papers
per: Fernández Rivera, Francisco

Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

Formal techniques for networked and distributed systems - FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, september 29 - october 2, 2003 : proceedings

Formal techniques for networked and distributed systems : FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

Distributed computing - IWDC 2003 : 5th international workshop, Kolkata, India, December 27-30, 2003 : proceedings

DCE - the OSF distributed computing environment : client/server model and beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993 : proceedings

Coordination models and languages : 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings

Coordinatio[n] languages and models : Third International Conference, COORDINATION 99 Amsterdam, The Netherlands, April 26 28, 1999 : proceedings

Coordination languages and models : 4th international conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales