Kristin Yvonne Rozier – författare
Visar alla böcker från författaren Kristin Yvonne Rozier. Handla med fri frakt och snabb leverans.
12 produkter
NASA Formal Methods
11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Av Julia M. Badger, Kristin Yvonne Rozier
Häftad, 2019
747 kr
Lägg i varukorg
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal …
NASA Formal Methods
11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Av Kristin Yvonne Rozier, Julia M. Badger
E-bok, 2019
975 kr
Lägg i varukorg
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal …
NASA Formal Methods
15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
Av Kristin Yvonne Rozier, Swarat Chaudhuri
Häftad, 2023
1130 kr
Lägg i varukorg
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with …
NASA Formal Methods
15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
Av Swarat Chaudhuri, Kristin Yvonne Rozier
E-bok, 2023
1502 kr
Lägg i varukorg
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with …
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Av André Platzer, Kristin Yvonne Rozier m. fl.
Häftad, 2024
457 kr
Lägg i varukorg
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected …
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Av Andre Platzer, Kristin Yvonne Rozier m. fl.
Häftad, 2024
1692 kr
Lägg i varukorg
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected …
Model Checking Software
31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings
Av Gidon Ernst, Kristin Yvonne Rozier
Häftad, 2025
667 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7–8, 2025.The 9 full papers included in this book were carefully reviewed and selected from 20 submissions. They focus on topics related …
Model Checking Software
31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings
Av Kristin Yvonne Rozier, Gidon Ernst
E-bok, 2025
638 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7–8, 2025.The 9 full papers included in this book were carefully reviewed and selected from 20 submissions. They focus on topics related …
Formal Methods for Industrial Critical Systems
31st International Conference, FMICS 2026, Liverpool, UK, September 3–4, 2026, Proceedings
Av Peter Gorm Larsen, Kristin Yvonne Rozier
Häftad, 2026
749 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 31st International Conference on Formal Methods for Industrial Critical Systems, FMICS 2026, held in Liverpool, UK, during September 3–4, 2026.The 8 full papers included in this book together with two invited papers were carefully reviewed and …
NASA Formal Methods
6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Av Julia M. Badger, Kristin Yvonne Rozier
Häftad, 2014
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 – May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The …
NASA Formal Methods
6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Av Kristin Yvonne Rozier, Julia M. Badger
E-bok, 2014
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 – May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The …
