كتاب إلكتروني
Standard Conformance-by-Construction with Event-B
| العنوان: | Standard Conformance-by-Construction with Event-B |
|---|---|
| المؤلفون: | Mendil, IsmailAff10, Aït-Ameur, YamineAff10, Singh, Neeraj KumarAff10, Méry, DominiqueAff11, Palanque, PhilippeAff12 |
| المساهمون: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Lluch Lafuente, Alberto, editorAff8, Mavridou, Anastasia, editorAff9 |
| المصدر: | Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings. 12863:126-146 |
| قاعدة البيانات: | Springer Nature eBooks |
| ردمك: | 9783030852474 9783030852481 |
|---|---|
| DOI: | 10.1007/978-3-030-85248-1_8 |