كتاب إلكتروني
CESAR: Control Envelope Synthesis via Angelic Refinements
العنوان: | CESAR: Control Envelope Synthesis via Angelic Refinements |
---|---|
المؤلفون: | Kabra, AditiAff9, Laurent, JonathanAff9, Aff10, Mitsch, StefanAff9, Aff11, Platzer, AndréAff9, Aff10 |
المساهمون: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Finkbeiner, Bernd, editorAff7, Kovács, Laura, editorAff8 |
المصدر: | Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. 14570:144-164 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783031572456 9783031572463 |
---|---|
DOI: | 10.1007/978-3-031-57246-3_9 |