Search Results for ter Beek, Maurice H.

4 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

0000DEFAULTTR

Yazdır

1.

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, September 26-28, 2016, Proceedings için kapak resmi

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, September 26-28, 2016, Proceedings

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, September 26-28, 2016, Proceedings

Yazar

ter Beek, Maurice H. editor.

http://dx.doi.org/10.1007/978-3-319-45943-1

Format:

Electronic Resources

Alıntı:

ter Beek, Maurice H. editor.

2.

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings için kapak resmi

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

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

https://doi.org/10.1007/978-3-030-30942-8

Format:

Electronic Resources

Alıntı:

, 2019, Proceedings / ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

3.

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday için kapak resmi

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

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

https://doi.org/10.1007/978-3-030-30985-5

Format:

Electronic Resources

Alıntı:

on the Occasion of Her 65th Birthday / ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

4.

Formal methods for industrial critical systems : a survey of applications için kapak resmi

Formal methods for industrial critical systems : a survey of applications

Formal methods for industrial critical systems : a survey of applications

Yazar

Gnesi, Stefania, 1954-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798

Format:

Electronic Resources

Alıntı:

: USER-CENTERED MODELING AND ANALYSIS OF COLLABORATION IN THINKTEAM 179 -- Maurice H. ter Beek, Stefania Gnesi

Tümünü Seç

1

4 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2