TER BEEK, MAURICE HENRI
TER BEEK, MAURICE HENRI
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.009 secondi).
Preface to Journeys between formal methods and the railway industry. Essays dedicated to Alessandro Fantechi on the occasion of his 70th birthday
2026 Ter Beek, Maurice Henri; Gnesi, Stefania; Haxthausen Anne, E.; Semini, Laura
From Software Engineering to Formal Methods and Tools, and Back. Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Preface
2019 ter Beek MH, ; Fantechi, A; Semini, L
Web Services and Formal Methods
2013 Ter Beek; M.H.; Lohmann; N.
Preface - Architecting Dependable Systems VI
2009 De Lemos R.; Fabre J.; Gacek C.; Gadducci F.; Ter Beek M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Preface to Journeys between formal methods and the railway industry. Essays dedicated to Alessandro Fantechi on the occasion of his 70th birthday | 1-gen-2026 | Ter Beek, Maurice Henri; Gnesi, Stefania; Haxthausen Anne, E.; Semini, Laura | |
| From Software Engineering to Formal Methods and Tools, and Back. Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Preface | 1-gen-2019 | ter Beek MH, ; Fantechi, A; Semini, L | |
| Web Services and Formal Methods | 1-gen-2013 | Ter Beek; M.H.; Lohmann; N. | |
| Preface - Architecting Dependable Systems VI | 1-gen-2009 | De Lemos R.; Fabre J.; Gacek C.; Gadducci F.; Ter Beek M. |