Cargando…

Structured object-oriented formal language and method: 4th international workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, revised selected papers

Detalles Bibliográficos
Autores principales:	Liu, Shaoying, Duan, Zhenhua
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761381

Ejemplares similares

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)

Structured object-oriented formal language and method: 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, revised selected papers
por: Liu, Shaoying, et al.
Publicado: (2017)

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)

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)

Structured object-oriented formal language and method: 8th international workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, revised selected papers
por: Duan, Zhenhua, et al.
Publicado: (2019)

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)

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)

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)

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)

Agent-oriented information systems IV: 8th international bi-conference workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, revised selected papers
por: Kolp, Manuel, et al.
Publicado: (2008)

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)

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)

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)

Computer vision - ACCV 2014 workshops: Singapore, Singapore, November 1-2, 2014, revised selected papers, part II
por: Jawahar, C V, et al.
Publicado: (2015)

Computer vision - ACCV 2014 workshops: Singapore, Singapore, November 1-2, 2014, revised selected papers, part I
por: Jawahar, C V, et al.
Publicado: (2015)

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

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)

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)

Advances in service-oriented and cloud computing: workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, revised selected papers
por: Ortiz, Guadalupe, et al.
Publicado: (2015)

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)

Ambient intelligence: European conference, AMI 2014, Eindhoven, The Netherlands, November 11-13, 2014 revised selected papers
por: Aarts, Emile, et al.
Publicado: (2014)

Arts and technology: fourth international conference, ARTSIT 2014, Istanbul, Turkey, November 10-12, 2014, revised selected papers
por: Ayiter, Elif, et al.
Publicado: (2015)

Updates to the checklist of the wild bee fauna of Luxembourg as inferred from revised natural history collection data and fieldwork
por: Herrera Mesías, Fernanda, et al.
Publicado: (2021)

Influenza D Virus Circulation in Cattle and Swine, Luxembourg, 2012–2016
por: Snoeck, Chantal J., et al.
Publicado: (2018)

Catalogue of the types of the Scarabaeidae in the National Museum of Natural History of Luxembourg (Coleoptera)
por: Vitali, Francesco
Publicado: (2019)

Short-time work in Luxembourg: evidence from a firm survey
por: Efstathiou, Konstantinos, et al.
Publicado: (2018)

The Luxembourg Parkinson’s Study: A Comprehensive Approach for Stratification and Early Diagnosis
por: Hipp, Geraldine, et al.
Publicado: (2018)

School alienation and academic achievement in Switzerland and Luxembourg: a longitudinal perspective
por: Morinaj, Julia, et al.
Publicado: (2019)

Evolving social contact patterns during the COVID-19 crisis in Luxembourg
por: Latsuzbaia, Ardashel, et al.
Publicado: (2020)

HPV vaccination and sexual behaviour in healthcare seeking young women in Luxembourg
por: Soudeyns, Camille, et al.
Publicado: (2020)

Contributing Factors and Evolution of Impulse Control Disorder in the Luxembourg Parkinson Cohort
por: Binck, Sylvia, et al.
Publicado: (2020)

COVID-19 crisis management in Luxembourg: Insights from an epidemionomic approach
por: Burzyński, Michał, et al.
Publicado: (2021)

Genomic basis for an informed conservation management of Pelophylax water frogs in Luxembourg
por: Weigand, Hannah, et al.
Publicado: (2022)

Mental health legislation in Luxembourg, a small country in Western Europe
por: Malmendier-Muehlschlegel, Anja, et al.
Publicado: (2022)

Cannot write session to /tmp/vufind_sessions/sess_8v2497ji35kbg2mmjf6m6790to