MPG.eBooks - Author Search Results

Cover Image

1

Formal Methods for Software Engineering : Languages, Methods, Application Domains

by Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo
Published 2022

Springer International Publishing

Cover Image

2

Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Published 2023

Springer International Publishing

Other Authors: “...Cerone, Antonio...”

Cover Image

3

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Published 2018

Springer International Publishing

Other Authors: “...Cerone, Antonio...”

Cover Image

4

Formal Methods – Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers

Published 2021

Springer International Publishing

Other Authors: “...Cerone, Antonio...”

Cover Image

5

Theoretical Aspects of Computing -- ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Cerone, Antonio...”

Cover Image

6

Theoretical Aspects of Computing – ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

Published 2021

Springer International Publishing

Other Authors: “...Cerone, Antonio...”

Cover Image

7

Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Published 2020

Springer International Publishing

Other Authors: “...Cerone, Antonio...”

Cover Image

8

Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Cerone, Antonio...”

Cover Image

9

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

Published 2022

Springer International Publishing

Other Authors: “...Cerone, Antonio...”

Cover Image

10

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability : SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece...

Published 2014

Springer Berlin Heidelberg

Other Authors: “...Cerone, Antonio...”