Maurice H. ter Beek: البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

1

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Springer International Publishing

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira

عام:

2019

اللغة:

english

ملف:

PDF, 35.63 MB

0 / 0

english, 2019

2

Architecting Dependable Systems VI

Architecting Dependable Systems VI

Springer-Verlag Berlin Heidelberg

Ricardo Jimenez-Peris, Marta Patiño-Martinez, Bettina Kemme, Francisco Perez-Sorrosal (auth.), Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice ter Beek (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 4.51 MB

0 / 0

english, 2009

3

Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Lhouari Nourine, Farouk Toumani (auth.), Maurice H. ter Beek, Niels Lohmann (eds.)

عام:

2013

اللغة:

english

ملف:

PDF, 2.85 MB

0 / 0

english, 2013

4

Architecting Dependable Systems VI

Architecting Dependable Systems VI

Springer-Verlag Berlin Heidelberg

Ricardo Jimenez-Peris, Marta Patiño-Martinez, Bettina Kemme, Francisco Perez-Sorrosal (auth.), Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice ter Beek (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 4.64 MB

0 / 0

english, 2009

5

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Springer International Publishing

Maurice H. ter Beek, Alessandro Fantechi, Laura Semini

عام:

2019

اللغة:

english

ملف:

PDF, 32.14 MB

0 / 0

english, 2019

6

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings

Maurice H. ter Beek, Rosemary Monahan

عام:

2022

اللغة:

english

ملف:

PDF, 14.56 MB

0 / 5.0

english, 2022

7

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS

SPRINGER NATURE

Maurice H. ter Beek, Dejan Ničković

عام:

2020

اللغة:

english

ملف:

PDF, 14.54 MB

0 / 0

english, 2020

8

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy,

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy,

Springer International Publishing

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.)

عام:

2016

اللغة:

english

ملف:

PDF, 18.35 MB

0 / 0

english, 2016

9

Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022 Lucca, Italy, June 13–17, 2022 Proceedings

Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022 Lucca, Italy, June 13–17, 2022 Proceedings

Maurice H. ter Beek, Marjan Sirjani

عام:

2022

اللغة:

english

ملف:

PDF, 11.77 MB

0 / 5.0

english, 2022