Cargando…

Formal methods and software engineering: 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, proceedings

Detalles Bibliográficos
Autores principales:	Duan, Zhenhua, Ong, Luke
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761266

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: 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)

Structured object-oriented formal language and method: 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papers
por: Tian, Cong, 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)

Report from the BIT’s 1st Annual World Congress of Biomedical Engineering Held in Xi’an, China, 9–11 November 2017
por: Litscher, Gerhard, 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)

Cyberspace safety and security: 9th international symposium, CSS 2017, Xi'an China, October 23-25, 2017, proceedings
por: Wen, Sheng, et al.
Publicado: (2017)

Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings
por: Polikarpova, Nadia, et al.
Publicado: (2017)

Communications and networking: 12th international conference, CHINACOM 2017, Xi'an, China, October 10-12, 2017, proceedings, part II
por: Li, Bo, et al.
Publicado: (2018)

Formal aspects of component software: 14th international conference, FACS 2017, Braga, Portugal, October 10-13, 2017, proceedings
por: Proença, José, et al.
Publicado: (2017)

Frontiers in cyber security: second international conference, FCS 2019, Xi'an, China, November 15-17, 2019, proceedings
por: Shen, Bazhong, et al.
Publicado: (2019)

Nasa formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings
por: Barrett, Clark, et al.
Publicado: (2017)

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

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)

IoT as a service: 4th EAI international conference, IoTaaS 2018, Xi'an, China, November 17-18, 2018, proceedings
por: Li, Bo, et al.
Publicado: (2019)

Pro-environmental behavior and smartphone uses of on-campus engineering students in Xi’an, China
por: Qiang, Tao, et al.
Publicado: (2021)

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)

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)

Response to formal comment on Myhrvold (2016) submitted by Griebeler and Werner (2017)
por: Myhrvold, Nathan P.
Publicado: (2018)

Intelligent data engineering and automated learning - IDEAL 2017: 18th international conference, Guilin, China, October 30 - November 1, 2017, proceedings
por: Yin, Hujun, et al.
Publicado: (2017)

Engineering secure software and systems: 9th international symposium, ESSOS 2017, Bonn, Germany, July 3-5, 2017, proceedings
por: Bodden, Eric, et al.
Publicado: (2017)

Software engineering for resilient systems: 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, proceedings
por: Romanovsky, Alexander, et al.
Publicado: (2017)

Search based software engineering: 9th international symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, proceedings
por: Menzies, Tim, et al.
Publicado: (2017)

Critical systems: joint 22nd international workshop on formal methods for industrial critical systems and 17th international workshop on automated verification of critical systems, FMICS-AVOCS 2017, Turin, Italy, September 18-20, 2017, proceedings
por: Petrucci, Laure, et al.
Publicado: (2017)

Hardware and software: 13th international haifa verification conference, HVC 2017, Haifa, Israel, November 13-15, 2017, proceedings
por: Strichman, Ofer, et al.
Publicado: (2017)

Computing and combinatorics: 25th international conference, COCOON 2019, Xi'an, China, July 29-31, 2019, proceedings
por: Du, Ding-Zhu, et al.
Publicado: (2019)

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)

Cannot write session to /tmp/vufind_sessions/sess_i13o35vtohi9l2upk17rmuqgsq