Formal modeling and analysis of timed systems : :: SCD d'Orléans

Formal modeling and analysis of timed systems : First international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers

Formal modeling and analysis of timed systems : First international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts of two...

Full beskrivning

Sparad:

Bibliografiska uppgifter
Institutionell upphovsman:	International workshop on Formal Modeling and Analysis of Timed Systems :Marseille, France
Övriga upphovsmän:	Larsen, Kim Guldstrand, 1957- (Chefredaktör, huvudredaktör), Niebert, Peter (Chefredaktör, huvudredaktör)
Materialtyp:	Livre numérique
Språk:	Anglais
Publicerad:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 2791
Ämnen:	Génie logiciel Informatique Langages de programmation Simulation par ordinateur Systémique Actes de congrès
Länkar:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Anmärkning:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal modeling and analysis of timed systems, First international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised papers, Kim G. Larsen, Peter Niebert (Eds.), Berlin, Springer, 2004, 1 vol. (VIII-280 p.), Lecture notes in computer science, 3-540-21671-5 • Formal Modeling and Analysis of Timed Systems, Texte imprimé, 9783662165423

Liknande verk

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
av: Lakhnech, Yassine, 19..-

UML 2003 - The Unified Modeling Language : modeling languages and applications : 6th international conference, San Fransisco, CA, USA, october 20-24, 2003 : proceedings

UML 2002 The Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30 October 4, 2002 : proceedings

Formal development of reactive systems : case study production cell
av: Lewerentz, Claus, 19..-

"UML" 2004 : the unified modeling language : modeling languages and applications : 7th international conference, Lisbon, Portugal, october 11-15, 2004 : proceedings

Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised Papers
av: Petrenko, Alexandre

Integrated formal methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004 : proceedings
av: Boiten, Eerke, 1966-

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures

Formal methods for components and objects : First international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

Programming multi-agent systems : First international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers
av: Dastani, Mehdi

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 9, 1998 : proceedings

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, september 13-18, 2004 : revised lectures
av: Bernardo, Marco

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
av: Lauer, Peter E., 1934-

Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2 6, 2001 : revised papers

Generative and component-based software engineering : first international symposium, GCSE '99, Erfurt, Germany, September 28-30, 1999 : revised papers

Parallel computing technologies : 7th International Conference, PaCT 2003, Nizhni Novgorod, Russia, September 15-19, 2003. Proceedings

Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
av: Lengauer, Christian

Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings

Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers

Agent-oriented software engineering IV : 4th international workshop, AOSE 2003, Melbourne, Australia, July 15, 2003 : revised papers

Global computing : programming environments, languages, security, and analysis of systems : IST/FET international workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers

Semirings for soft constraint solving and programming
av: Bistarelli, Stefano

Formal syntax and semantics of Java
av: Alves-Foss, Jim, 1964-

Generative programming and component engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings

Hybrid systems : computation and control : 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings

Formal methods for industrial applications : specifying and programming the steam boiler control
av: Abrial, Jean-Raymond, 1938-2025, informaticien

Parallel computing technologies : 6th International Conference, PaCT 2001 Novosibirsk, Russia, September 3 7, 2001 : proceedings

Multi-agent-based simulation : second international workshop, MABS 2000, Boston, MA, USA, July : revised and additional papers

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

High performance computing : 5th international symposium, ISHPC 2003, Tokyo-Odaiba, Japan, october 20-22, 2003 : proceedings

Theoretical aspects of computer software : [first] International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings

Advanced functional programming : Third International School, AFP 98, Braga, Portugal, September 12-19, 1998 : revised lectures

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, november 4-7, 2003 : revised lectures

© 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