Formal Modeling and Analysis of Timed Systems : :: SCD d'Orléans

Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013. The 18 revised full papers presented were carefully reviewed and selected from 41 submissions. The book...

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Braberman, Víctor
Další autoři:	Fribourg, Laurent (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin, Heidelberg : Springer Berlin Heidelberg 2013. Cham : Springer Nature
Edice:	Theoretical Computer Science and General Issues 8053
Témata:	Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	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, 9783642402289 • Formal Modeling and Analysis of Timed Systems, 9783642402302

Podobné jednotky

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

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

Timed Boolean Functions : A Unified Formalism for Exact Timing Analysis
Autor: Lam, William K. C., a další

Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. : proceedings
Autor: Cellier, Peggy, 1981-...., chercheuse en informatique

Self-Timed Control of Concurrent Processes : The Design of Aperiodic Logical Circuits in Computers and Discrete Systems

Formal grammar : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013 : proceedings
Autor: Morrill, Glyn
Vydáno: (2013)

Quantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Autor: Joshi, Kaustubh
Vydáno: (2013)

Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013 : proceedings
Vydáno: (2013)

Formal Ontology in Information Systems : Proceedings of the 13th International Conference (FOIS 2023)
Autor: Aussenac-Gilles, Nathalie
Vydáno: (2024)

Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Advances in verification of time Petri nets and timed automata : a temporal logic approach
Autor: Penczek, Wojciech, 19..-, a další

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 November 1, 2013, proceedings

Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings

The formal analysis of natural languages : proceedings of the first International conference [Rocquencourt, on April 27-29, 1970]
Autor: Gross, Maurice, 1934-2001, linguiste
Vydáno: (1973)

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Vydáno: (2013)

Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced Lectures
Vydáno: (2013)

System modeling and optimization : proceedings of the 10th IFIP Conference New York City, USA, August 31 - September 4, 1981

Formal Ontology in Information Systems : Proceedings of the Twelfth International Conference (FOIS 2021)
Autor: Neuhaus, Fabian
Vydáno: (2022)

Conceptual modeling : 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013 : proceedings
Autor: Ng, Wilfred
Vydáno: (2013)

Design and modeling of mechanical systems : proceedings of the Fifth International Conference Design and Modeling of Mechanical Systems, CMSM 2013, Djerba, Tunisia, March 25-27, 2013
Autor: Haddar, Mohamed
Vydáno: (2013)

Modeling and using context : 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, proceedings
Autor: Brézillon, Patrick, 1949-

Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Vydáno: (2013)

CONCUR 2013 : concurrency theory : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 : proceedings
Autor: D'Argenio, Pedro R.
Vydáno: (2013)

NASA formal methods : 5th International symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Advances in multimedia modeling : 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings
Vydáno: (2013)

Advances in multimedia modeling : 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings
Vydáno: (2013)

Manufacturing systems modeling and analysis
Autor: Curry, Guy L., 19..-, a další

Manufacturing systems modeling and analysis
Autor: Curry, Guy L., 19..-, a další
Vydáno: (2010)

Immune System Modeling and Analysis
Autor: Carmen Molina-Paris, a další
Vydáno: (2021)

Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 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

User modeling, adaptation, and personalization : 21th International Conference, UMAP 2013, Rome, Italy, June 10-14, 2013 : proceedings
Autor: Carberry, Sandra
Vydáno: (2013)

Functional imaging and modeling of the heart : 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013 : proceedings
Autor: Ourselin, Sébastien, 1973-
Vydáno: (2013)

Modeling decisions for artificial intelligence : 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013 : proceedings
Autor: Torra, Vincenc

Computer programming and formal systems
Vydáno: (1963)

Mathematical interpretation of formal systems
Autor: Skolem, Thoralf, 1887-1963, a další
Vydáno: (1971)

Computer programming and formal systems
Vydáno: (1970)

Formal Descriptions of Developing Systems

Formal methods in system design.
Vydáno: (2002)

© 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