كتاب إلكتروني
Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring
العنوان: | Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring |
---|---|
المؤلفون: | Massoud, RehabAff10, Le, Hoang M.Aff10, Drechsler, RolfAff10, Aff11 |
المساهمون: | 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, André, Étienne, editorAff8, Stoelinga, Mariëlle, editorAff9 |
المصدر: | Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings. 11750:41-58 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783030296612 9783030296629 |
---|---|
DOI: | 10.1007/978-3-030-29662-9_3 |