Formal methods for dynamical systems : :: SCD d'Orléans

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

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

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covere...

Cur síos iomlán

Sábháilte in:

Sonraí bibleagrafaíochta
Rannpháirtithe:	Bernardo, Marco (Stiúrthóir foilseacháin), de Vink, Erik (Stiúrthóir foilseacháin), Di Pierro, Alessandra, 19..- (Stiúrthóir foilseacháin), Wiklicky, Herbert (Stiúrthóir foilseacháin)
Formáid:	Livre numérique
Teanga:	Anglais
Foilsithe / Cruthaithe:	Berlin, Heidelberg : Springer Berlin Heidelberg 2013. Cham : Springer Nature
Sraith:	Programming and Software Engineering 7938
Rochtain ar líne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nóta:	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 Dynamical Systems, Texte imprimé, 9783642388750 • Formal Methods for Dynamical Systems, Texte imprimé, 9783642388736

Míreanna comhchosúla

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 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
de réir: Bernardo, Marco

Formal methods in system design.
Foilsithe / Cruthaithe: (2002)

Formal Methods in System Design.

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
de réir: Giachino, Elena

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
Foilsithe / Cruthaithe: (2024)

Formal Methods
Foilsithe / Cruthaithe: (2024)

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

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

Formal foundations for software engineering methods
de réir: Hussmann, Heinrich, 1959-

Computer programming and formal systems
Foilsithe / Cruthaithe: (1963)

Computer programming and formal systems
Foilsithe / Cruthaithe: (1970)

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

Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
de réir: Liu, Zhiming
Foilsithe / Cruthaithe: (2013)

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21 25, 2002 : proceedings

Formal methods and software engineering : 6th international conference on formal engineering methods, ICFEM 2004, Seattle, WA, USA, november 8-12, 2004 : proceedings

Dynamical Systems and Methods
de réir: Luo, Albert C. J., 1964-

Embedded Systems Design Based on Formal Models of Computation
de réir: Radojevic, Ivan, et al.

Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013 : proceedings
Foilsithe / Cruthaithe: (2013)

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

Modern Formal Methods and Applications
de réir: Gabbar, Hossam A.

Computer Algebra Methods for Equivariant Dynamical Systems

Formal Ontology in Information Systems : Proceedings of the 13th International Conference (FOIS 2023)
de réir: Aussenac-Gilles, Nathalie
Foilsithe / Cruthaithe: (2024)

Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

FM 99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : proceedings

FM 99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : proceedings

Formal hardware verification : methods and systems in comparison
de réir: Kropf, Thomas, 1961-

Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
Foilsithe / Cruthaithe: (2024)

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
Foilsithe / Cruthaithe: (2025)

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Foilsithe / Cruthaithe: (2021)

Formal aspects of computing : applicable formal methods

Mathematical interpretation of formal systems
de réir: Skolem, Thoralf, 1887-1963, et al.
Foilsithe / Cruthaithe: (1971)

Formal Descriptions of Developing Systems

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
Foilsithe / Cruthaithe: (2022)

Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Foilsithe / Cruthaithe: (2013)

Formal methods for mining structured objects
de réir: Garriga, Gemma

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
de réir: Chang, Jui-Ming, et al.

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : 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