Cargando…

Leveraging applications of formal methods, verification and validation modeling: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part I

Detalles Bibliográficos
Autores principales:	Margaria, Tiziana, Steffen, Bernhard
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2763977

Ejemplares similares

Leveraging applications of formal methods, verification and validation verification: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part II
por: Margaria, Tiziana, et al.
Publicado: (2018)

Leveraging applications of formal methods, verification and validation distributed systems: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part III
por: Margaria, Tiziana, et al.
Publicado: (2018)

Leveraging applications of formal methods, verification and validation industrial practice: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part IV
por: Margaria, Tiziana, et al.
Publicado: (2018)

Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
por: Colombo, Christian, et al.
Publicado: (2018)

Foundations of intelligent systems: 24th international symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, proceedings
por: Ceci, Michelangelo, et al.
Publicado: (2018)

FM 2016: 21st international symposium, Limassol, Cyprus, November 9-11, 2016, proceedings
por: Fitzgerald, John, et al.
Publicado: (2016)

Information systems: 15th European, Mediterranean, and Middle Eastern conference, EMCIS 2018, Limassol, Cyprus, October 4-5, 2018, proceedings
por: Themistocleous, Marinos, et al.
Publicado: (2019)

Metadata and semantic research: 12th international conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, revised selected papers
por: Garoufallou, Emmanouel, et al.
Publicado: (2019)

(18) Anniversary Conference 20 Years Cyprus Society Of Nuclear Medicine (CYSNM20) Limassol Cyprus, 6(th)– 10(th) November 2019
Publicado: (2019)

Software reuse: 15th international conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, proceedings
por: Kapitsaki, Georgia M, et al.
Publicado: (2016)

Social gradient in quality of life according to microscale neighbourhood features, Limassol, Cyprus
por: Middleton, N, et al.
Publicado: (2023)

Formal methods: 22nd international symposium, FM 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 15-17, 2018, proceedings
por: Havelund, Klaus, et al.
Publicado: (2018)

ECU convention 2017 research presentations: Limassol, Cyprus. 25-27 May 2017
por: Kongsted, Alice, et al.
Publicado: (2017)

Knowledge and systems sciences: 19th international symposium, KSS 2018, Tokyo, Japan, November 25-27, 2018, proceedings
por: Chen, Jian, et al.
Publicado: (2018)

Stabilization, safety, and security of distributed systems: 20th international symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, proceedings
por: Izumi, Taisuke, et al.
Publicado: (2018)

Advances in visual computing: 13th international symposium, ISVC 2018, Las Vegas, NV, USA, November 19 - 21, 2018, proceedings
por: Bebis, George, et al.
Publicado: (2018)

Theory of cryptography: 16th international conference, TCC 2018, Panaji, India, November 11-14, 2018, proceedings, part II
por: Beimel, Amos, et al.
Publicado: (2018)

Theory of cryptography: 16th international conference, TCC 2018, Panaji, India, November 11-14, 2018, proceedings, part I
por: Beimel, Amos, 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)

Sofsem 2020: 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, proceedings
por: Chatzigeorgiou, Alexander, et al.
Publicado: (2020)

Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings
por: Lahiri, Shuvendu K, et al.
Publicado: (2018)

Pattern recognition and computer vision: first Chinese conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, proceedings, part III
por: Lai, Jian-Huang, et al.
Publicado: (2018)

Pattern recognition and computer vision: first Chinese conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, proceedings, part I
por: Lai, Jian-Huang, et al.
Publicado: (2018)

La signora dell'isola /
por: Alvaro, Corrado, 1895-1956
Publicado: (1991)

Social gradient in health-related quality of life among urban middle-age residents in Limassol, Cyprus: research article
por: Ellina, P., et al.
Publicado: (2021)

Bio-inspired computing: 13th international conference, BIC-TA 2018, Beijing, China, November 2-4, 2018, proceedings, part II
por: Qiao, Jianyong, et al.
Publicado: (2018)

INTERNATIONAL SYMPOSIUM ON RADIOPHARMACEUTICAL THERAPY HELSINKI, 18-20 NOVEMBER 2018
Publicado: (2019)

Formal methods for industrial critical systems: a survey of applications
por: Gnesi, Stefania, et al.
Publicado: (2012)

Applied informatics: first international conference, ICAI 2018, Bogotá, Colombia, November 1-3, 2018, proceedings
por: Florez, Hector, et al.
Publicado: (2018)

PRIMA 2018: 21st international conference, Tokyo, Japan, October 29-November 2, 2018, proceedings
por: Miller, Tim, et al.
Publicado: (2018)

Intelligent data engineering and automated learning - IDEAL 2018: 19th international conference, Madrid, Spain, November 21-23, 2018, proceedings, part I
por: Yin, Hujun, et al.
Publicado: (2018)

Intelligent data engineering and automated learning - IDEAL 2018: 19th international conference, Madrid, Spain, November 21-23, 2018, proceedings, part II
por: Yin, Hujun, et al.
Publicado: (2018)

L'isola dell'amicizia : (Es war).
por: Sudermann, Hermann, 1857-1928
Publicado: (1901)

L'isola dell'amicizia (es war).
por: Sudermann, Hermann, 1857-1928
Publicado: (1901)

Application of the urban exposome framework using drinking water and quality of life indicators: a proof-of-concept study in Limassol, Cyprus
por: Andrianou, Xanthi D., et al.
Publicado: (2019)

Epidemiology of invasive meningococcal disease in Cyprus 2004 to 2018
por: Koliou, Maria, et al.
Publicado: (2020)

L'isola del giorno prima
por: Eco, Umberto

Technologies and innovation: 4th international conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, proceedings
por: Valencia-García, Rafael, et al.
Publicado: (2018)

Telematics and computing: 7th international congress, WITCOM 2018, Mazatlán, Mexico, November 5-9, 2018, proceedings
por: Mata-Rivera, Miguel Felix, et al.
Publicado: (2018)

Algorithms and architectures for parallel processing: 18th international conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, proceedings, part II
por: Vaidya, Jaideep, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_doh6p8h9hqt05ua0d1qbm8i776