Cargando…

Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings

Detalles Bibliográficos
Autores principales:	Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756759

Ejemplares similares

Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings
por: Ait-Ameur, Yamine, et al.
Publicado: (2019)

Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings
por: Merz, Stephan, et al.
Publicado: (2014)

Formal methods and software engineering: 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, proceedings
por: Duan, Zhenhua, et al.
Publicado: (2017)

Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
por: Calinescu, Radu, et al.
Publicado: (2015)

Structured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 revised selected papers
por: Liu, Shaoying, et al.
Publicado: (2016)

Software engineering for resilient systems: 7th international workshop, SERENE 2015, Paris, France, September 7-8, 2015 proceedings
por: Fantechi, Alessandro, et al.
Publicado: (2015)

Software engineering and formal methods: 12th international conference, SEFM 2014, Grenoble, France, September 1-5, 2014, proceedings
por: Giannakopoulou, Dimitra, et al.
Publicado: (2014)

Formal methods: 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, proceedings
por: Cornélio, Márcio, et al.
Publicado: (2016)

NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
por: Havelund, Klaus, et al.
Publicado: (2015)

Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings
por: Johnsen, Einar Broch, et al.
Publicado: (2018)

Formal methods for industrial critical systems: 20th international workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 proceedings
por: Güdemann, Matthias, et al.
Publicado: (2015)

Proceedings at the Formal Opening of the Engineering Building of the Pennsylvania State College
Publicado: (1894)

Software engineering and formal methods: 17th international conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings
por: Ölveczky, Peter Csaba, et al.
Publicado: (2019)

QED at large: a survey of engineering of formally verified software
por: Ringer, Talia, et al.
Publicado: (2019)

Formal ontologies meet industry: 7th international workshop, FOMI 2015, Berlin, Germany, August 5, 2015, proceedings
por: Cuel, Roberta, et al.
Publicado: (2015)

Algorithms and complexity: 9th international conference, CIAC 2015, Paris, France, May 20-22, 2015 proceedings
por: Paschos, Vangelis Th, et al.
Publicado: (2015)

Experimental algorithms: 14th international symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, proceedings
por: Bampis, Evripidis
Publicado: (2015)

Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
por: Ribeiro, Leila, et al.
Publicado: (2016)

Formal modeling and analysis of timed systems: 13th international conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, proceedings
por: Sankaranarayanan, Sriram, et al.
Publicado: (2015)

Formal methods in manufacturing
por: Campos, Javier, et al.
Publicado: (2014)

Understanding formal methods /
por: Monin, Jean François, 1960-
Publicado: (2003)

Formal Methods in Manufacturing
por: Campos, Javier, et al.
Publicado: (2018)

Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings
por: Cavalheiro, Simone, et al.
Publicado: (2017)

From software engineering to formal methods and tools, and back: essays dedicated to Stefania Gnesi on the occasion of her 65th birthday
por: ter Beek, Maurice H, et al.
Publicado: (2019)

Software engineering mathematics : formal methods demystified /
por: Woodcock, Jim
Publicado: (1988)

French Ministry of Health’s response to Paris attacks of 13 November 2015
por: Philippe, Jean-Marc, et al.
Publicado: (2016)

Forensic odontology identification response to terrorist attacks in Paris November 2015
por: Toupenay, Steve, et al.
Publicado: (2020)

Future data and security engineering: second international conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015, proceedings
por: Dang, Tran Khanh, et al.
Publicado: (2015)

Engineering secure software and systems: 7th international symposium, ESSOS 2015, Milan, Italy, March 4-6, 2015, proceedings
por: Piessens, Frank, et al.
Publicado: (2015)

Search-based software engineering: 7th international symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, proceedings
por: Barros, Márcio, et al.
Publicado: (2015)

Formal methods in artificial intelligence /
por: Ramsay, Allan, 1953-
Publicado: (1991)

The formal development method VDM
por: Lourens, W, et al.
Publicado: (1994)

Formal methods in economic anthropology /
Publicado: (1975)

Correction to: NASA Formal Methods
por: Lee, Ritchie, et al.
Publicado: (2020)

Formal Methodology for Safety-Critical Systems Engineering at CERN
por: Valentini, F, et al.
Publicado: (2014)

The LASER database: Formalizing design rules for metabolic engineering
por: Winkler, James D., et al.
Publicado: (2015)

Web information systems engineering - WISE 2015: 16th international conference, Miami, FL, USA, November 1-3, 2015, proceedings, part I
por: Wang, Jianyong, et al.
Publicado: (2015)

Experience with postmortem computed tomography in the forensic analysis of the November 2015 Paris attacks
por: de Jong, Laura W., et al.
Publicado: (2020)

Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems
por: Darvas, Daniel
Publicado: (2017)

The March of Diphtheria in the Southwest of France: Proceedings of Biological Society of Paris, November 21st, 1896
Publicado: (1897)

Cannot write session to /tmp/vufind_sessions/sess_32odh0t77smf19vqp53q9d2a0n