Cargando…

Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Ait-Ameur, Yamine, Qin, Shengchao
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755927

Ejemplares similares

Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings
por: Butler, Michael, et al.
Publicado: (2015)

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: 17th international conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings
por: Ölveczky, Peter Csaba, et al.
Publicado: (2019)

Structured object-oriented formal language and method: 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers
por: Miao, Huaikou, et al.
Publicado: (2020)

Formal Distributed Protocol Development for Reservation of Railway Sections
por: Stankaitis, Paulius, et al.
Publicado: (2020)

Formal methods teaching: third international workshop and tutorial, FMTea 2019, held as part of the third world congress on formal methods, FM 2019, Porto, Portugal, october 7, 2019, proceedings
por: Dongol, Brijesh, et al.
Publicado: (2019)

Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B
por: Dupont, Guillaume, et al.
Publicado: (2020)

Model and data engineering: 6th international conference, MEDI 2016, Almería, Spain, September 21-23, 2016, proceedings
por: Bellatreche, Ladjel, et al.
Publicado: (2016)

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

Integrated formal methods: 15th international conference, IFM 2019, Bergen, Norway, December 2-6, 2019, proceedings
por: Ahrendt, Wolfgang, et al.
Publicado: (2019)

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

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

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

Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings
por: Arbab, Farhad, et al.
Publicado: (2020)

Formal methods - the next 30 years: third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings
por: ter Beek, Maurice H, et al.
Publicado: (2019)

NASA formal methods: 11th international symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, proceedings
por: Badger, Julia M, et al.
Publicado: (2019)

Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019
por: Duran, Adolfo, et al.
Publicado: (2021)

Formal methods for industrial critical systems: 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, proceedings
por: Larsen, Kim Guldstrand, et al.
Publicado: (2019)

Formal grammar: 24th international conference, FG 2019, Riga, Latvia, August 11, 2019, proceedings
por: Bernardi, Raffaella, et al.
Publicado: (2019)

Intelligent systems applications in software engineering: proceedings of 3rd computational methods in systems and software 2019, vol. 1
por: Silhavy, Radek, et al.
Publicado: (2019)

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

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)

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)

Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings
por: Beyer, Dirk, et al.
Publicado: (2019)

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

Formal concept analysis: 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, proceedings
por: Cristea, Diana, et al.
Publicado: (2019)

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)

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)

Quality, reliability, security and robustness in heterogeneous systems: 15th EAI international conference, QSHINE 2019, Shenzhen, China, November 22-23, 2019, proceedings
por: Chu, Xiaowen, 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)

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

Formal modeling and analysis of timed systems: 17th international conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, proceedings
por: André, Étienne, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_79e97akto0cqqnjptn4dhkkn0i