Informatik (15.757 Artikel)

Digital Divorce from a Cognitive Personal Assistant

MICCAI Challenge MMAC 2023, Held in Conjunction with MICCAI 2023, Virtual Event, October 8-12, 2023, Proceedings

Session 1.- Real-Time Calculi and Expansion Theorems (Extended Abstract).- Modal Logics in Timed Process Algebras.- Process Communication Environment.- Session 2.- A Process Calculus with Incompara...

11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in ...

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.

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 p...

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in th...

*The conference was held virtually due to the COVID-19 pandemic.The chapter "Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL" is available open access under a Creative Common...

14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers present...

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presen...

The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.