Cargando…

Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings

Detalles Bibliográficos
Autores principales:	Merz, Stephan, Pang, Jun
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2014
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761135

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: 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, proceedings
por: Duan, Zhenhua, et al.
Publicado: (2017)

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

Formal techniques for safety-critical systems: third international workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 revised selected papers
por: Artho, Cyrille, 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)

The practice of enterprise modeling: 12th IFIP working conference, POEM 2019, Luxembourg, Luxembourg, November 27-29, 2019, proceedings
por: Gordijn, Jaap, et al.
Publicado: (2019)

Rules and reasoning: second international joint conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, proceedings
por: Benzmüller, Christoph, et al.
Publicado: (2018)

Emerging technologies for authorization and authentication: second international workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019, proceedings
por: Saracino, Andrea, et al.
Publicado: (2020)

Security and trust management: 15th international workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019, proceedings
por: Mauw, Sjouke, et al.
Publicado: (2019)

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)

Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
por: Calinescu, Radu, 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)

Ad-hoc, mobile, and wireless networks: 18th international conference on ad-hoc networks and wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1-3, 2019, proceedings
por: Palattella, Maria Rita, et al.
Publicado: (2019)

Sleep duration and multimorbidity in Luxembourg: results from the European Health Examination Survey in Luxembourg, 2013–2015
por: Ruiz-Castell, Maria, et al.
Publicado: (2019)

Investigation on heroin and cocaine quality in Luxembourg
por: Bourmaud, Adèle, et al.
Publicado: (2021)

Mental health services in Luxembourg: an overview
por: Malmendier-Muehlschlegel, Anja, et al.
Publicado: (2022)

Knowledge engineering and knowledge management: 19th international conference, EKAW 2014, Linköping, Sweden, November 24-28, 2014, proceedings
por: Janowicz, Krzysztof, et al.
Publicado: (2014)

Formal modeling and analysis of timed systems: 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, proceedings
por: Legay, Axel, et al.
Publicado: (2014)

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

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

Geographic Variations in Cardiometabolic Risk Factors in Luxembourg
por: Alkerwi, Ala’a, et al.
Publicado: (2017)

Software engineering for resilient systems: 6th international workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014 proceedings
por: Majzik, István, et al.
Publicado: (2014)

Hardware and software: 10th international Haifa verification conference, HVC 2014, Haifa, Israel, November 18-20, 2014, proceedings
por: Yahav, Eran
Publicado: (2014)

Knowledge science, engineering and management: 7th international conference, KSEM 2014, Sibiu, Romania, October 16-18, 2014 proceedings
por: Buchmann, Robert, et al.
Publicado: (2014)

International Symposium held at the Centre Universitaire de Luxembourg
por: Eymard, Pierre, et al.
Publicado: (1988)

National audit on the appropriateness of CT and MRI examinations in Luxembourg
por: Bouëtté, Aurélien, et al.
Publicado: (2019)

Usutu Virus Africa 3 Lineage, Luxembourg, 2020
por: Snoeck, Chantal J., et al.
Publicado: (2022)

Future data and security engineering: 1st international conference, FDSE 2014, Ho Chi Minh City, Vietnam, November 19-21, 2014, proceedings
por: Dang, Tran Khanh, et al.
Publicado: (2014)

Software process improvement and capability determination: 14th international conference, SPICE 2014, Vvilnius, Lithuania, November 4-6, 2014 proceedings
por: Mitasiunas, Antanas, et al.
Publicado: (2014)

Computer security: ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019, revised selected papers
por: Fournaris, Apostolos P, et al.
Publicado: (2020)

Socioeconomic inequality and obesity prevalence trends in luxembourg, 1995–2007
por: Tchicaya, Anastase, et al.
Publicado: (2012)

Geographic Distribution of Raccoon Roundworm, Baylisascaris procyonis, Germany and Luxembourg
por: Heddergott, Mike, et al.
Publicado: (2020)

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

OECI-EACR precision medicine for cancer: Conference report 1–4 March 2015, Luxembourg
por: Golebiewska, Anna, et al.
Publicado: (2015)

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

Computer security: ESORICS 2019 international workshops, CyberICPS, SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 26-27, 2019 revised selected papers
por: Katsikas, Sokratis, et al.
Publicado: (2020)

Cannot write session to /tmp/vufind_sessions/sess_gl9oab22cu1vrg4gstbv57iqqi