Cargando…

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

Detalles Bibliográficos
Autores principales:	Dongol, Brijesh, Petre, Luigia, Smith, Graeme
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755396

Ejemplares similares

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)

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)

Runtime verification: 19th international conference, RV 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Finkbeiner, Bernd, et al.
Publicado: (2019)

Static analysis: 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2019)

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)

Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
por: Hutton, Graham
Publicado: (2019)

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

Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings
por: Soares Barbosa, Luís, et al.
Publicado: (2020)

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

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

Unifying theories of programming: 7th international symposium, UTP 2019, dedicated to tony hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, proceedings
por: Ribeiro, Pedro, et al.
Publicado: (2019)

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

Training and Profile of Special Olympics Portugal Coaches: Influence of Formal and Non-Formal Learning
por: Pires, Pedro, et al.
Publicado: (2021)

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)

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 concept analysis: 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, proceedings
por: Cristea, Diana, 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 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)

The 2019 World Sleep Congress
por: Andersen, Monica Levy
Publicado: (2019)

Will the Third Wave of Coronavirus Disease 2019 Really Come in Korea?
por: Yoo, Jin-Hong
Publicado: (2020)

Formal methods for real-time computing
Publicado: (1996)

Formal methods in computer system design
por: Hoare, C A R
Publicado: (1989)

Formal methods for mining structured objects
por: Garriga, Gemma C
Publicado: (2013)

Formal methods in human-computer interaction /
Publicado: (1990)

Counterexample analysis of formal verification methods
por: Dobos-Kovacs, Mihaly
Publicado: (2021)

Proceedings of the Simulation Congress 2019: Liege, Belgium. 28 March 2019
Publicado: (2019)

Formalizing natural languages with NOOJ 2019 and its natural language processing applications: 13th international conference, NOOJ 2019, Hammamet, Tunisia, June 7-9, 2019, revised selected papers
por: Fehri, Héla, et al.
Publicado: (2020)

EAP 2019 Congress and Master Course
Publicado: (2019)

The formal method in literary scholarship : a critical introduction to sociological poetics
por: Medvedev, P. N. (Pavel Nikolaevich), 1891-1938

Siam Physics Congress 2019 : Physics beyond disruption society (SPC 2019)
por: Laosiritaworn, Yongyut, et al.
Publicado: (2019)

Formal methods for discrete-time dynamical systems
por: Belta, Calin, et al.
Publicado: (2017)

Formal specification level: concepts, methods, and algorithms
por: Soeken, Mathias, et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_aomj6n91j29m9pm30ocv94tqrn