Formal methods for real-time and probabilistic systems : :: SCD d'Orléans

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26 28, 1999 : proceedings

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26 28, 1999 : proceedings

保存先:

書誌詳細
団体著者:	International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software :Bamberg, Allemagne
その他の著者:	Katoen, Joost-Pieter (出版デイレクター)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
シリーズ:	Lecture notes in computer science 1601
主題:	Génie logiciel Informatique Temps réel (informatique) Ingénierie des systèmes Langages de programmation Intelligence artificielle Réseaux d'ordinateurs Actes de congrès
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal Methods for Real-Time and Probabilistic Systems, Texte imprimé, 9783540660101 • Formal Methods for Real-Time and Probabilistic Systems, Texte imprimé, 9783662193334

類似資料

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
著者:: Bernardo, Marco

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

Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings

Specification and compositional verification of real-time systems
著者:: Hooman, Jozef, 19..-

Formal models of agents : ESPRIT Project ModelAge Final Workshop : selected papers
著者:: Meyer, John-Jules Charles, informaticien

Language, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR'98, Pittsburgh, PA, USA, May 1998 : selected papers

Synthesizing synchronous systems by static scheduling in space-time
著者:: Lisper, Björn

Real-time : theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings

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

Requirements targeting software and systems engineering : International Workshop RTSE 97, Bernried, Germany, October 12-14, 1997 : proceedings

Scientific computing in object-oriented parallel environments : First International Conference, ISCOPE 97, Marina del Rey, California, USA December 8 11, 1997 : proceedings

Dynamic Reconfiguration in Real-Time Systems : Energy, Performance, and Thermal Perspectives
著者:: Wang, Weixun, 等
出版事項: (2013)

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

High-performance computing and networking : International Conference and Exhibition, Milan, Italy, May 3-5, 1995 : proceedings

SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 : 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

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
著者:: Lakhnech, Yassine, 19..-

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

Euro-Par 99 parallel processing : 5th International Euro-Par Conference Toulouse, France, August 31 September 3, 1999 : proceedings

Applying formal methods : testing, performance, and M/E-Commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : roceedings

Active networks : First International Working Conference, IWAN 99, Berlin, Germany, June 30 - July 2, 1999 : proceedings

Coordinatio[n] languages and models : Third International Conference, COORDINATION 99 Amsterdam, The Netherlands, April 26 28, 1999 : 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

Advanced information systems engineering : 11th International Conference, CAiSE"99 Heidelberg, Germany, June 14 18, 1999 proceedings

Intelligent agents VI : agent theories, architectures, and languages : 6th International Workshop, ATAL 99, Orlando, Florida, USA, July 15-17, 1999 : proceedings

Formal aspects of security : First international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers

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

Advanced information systems engineering : 9th international conference, CAiSE '97, Barcelona, Catalonia, Spain, June 16 20, 1997 : proceedings

High-performance comupting and networking : 7th international conference, HPCN Europe, 1999, Amsterdam, The Netherlands, April 12 14, 1999 : proceedings

Advanced information systems engineering : Third International Conference CAiSE '91, Trondheim, Norway, May 13 15, 1991 : proceedings

Testing of communicating systems : 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003 : proceedings

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
著者:: Godefroid, Patrice, 19..-

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 in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9 12, 2002 : proceedings

Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

Automata, languages and programming : ; proceedings 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999

Multi-agent system engineering : 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW 99, Valencia, Spain, June 30 July 2, 1999 : proceedings

Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12 15, 1992 : proceedings

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : 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