NASA formal methods : :: SCD d'Orléans

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

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

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The to...

Полное описание

Сохранить в:

Библиографические подробности
Другие авторы:	Brat, Guillaume, 19..- (Публикующий директор), Rungta, Neha, 19..- (Публикующий директор), Venet, Arnaud, 19..-...., chercheur à la NASA (Публикующий директор)
Формат:	Livre numérique
Язык:	Anglais
Опубликовано:	Berlin, Heidelberg : Springer Berlin Heidelberg [20..]. Cham : Springer Nature
Редактирование:	1st ed. 2013.
Серии:	Programming and Software Engineering 7871
Online-ссылка:	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:	• NASA Formal Methods, Texte imprimé, 9783642380877 • NASA Formal Methods, Texte imprimé, 9783642380891

Схожие документы

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

Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Опубликовано: (2013)

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

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

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

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 : 6th international conference on formal engineering methods, ICFEM 2004, Seattle, WA, USA, november 8-12, 2004 : proceedings

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

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
Опубликовано: (2013)

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

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

Formal Methods
Опубликовано: (2024)

Formal Methods
Опубликовано: (2024)

Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

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

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

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

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

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers

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

Teaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004 : proceedings
по: Dean, Neville, 19..-

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

Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013 : proceedings
Опубликовано: (2013)

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings

Formal grammar : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013 : proceedings
по: Morrill, Glyn
Опубликовано: (2013)

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 methods in system design.
Опубликовано: (2002)

Modern Formal Methods and Applications
по: Gabbar, Hossam A.

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

Formal Methods in System Design.

Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings

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

Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
по: Braberman, Víctor
Опубликовано: (2013)

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
по: Liu, Zhiming
Опубликовано: (2013)

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

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
по: Liu, Zhiming
Опубликовано: (2013)

Méthode axiomatique et formalisme : essai sur le problème du fondement des mathématiques
по: Cavaillès, Jean, 1903-1944
Опубликовано: (1981)

© 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