Contributions to Conferences

back

Property-driven Timestamps Encoding for Timeprints-based Tracing and Monitoring


Authors

  • Massoud, R.
  • Le, H.
  • Drechsler, R.

Meta information [BibTeX]

  • Year: 2019, Reviewed
  • André, É. and Stoelinga, M. (Editors)
  • In: Formal Modeling and Analysis of Timed Systems
  • Subtitle: Proceedings of 17th International Conference, FORMATS 2019
  • Conference: 17th International Conference, FORMATS 2019 in Amsterdam, The Netherlands (August 27-29, 2019)
  • Series: Lecture Notes in Computer Science (LNCS), Vol. 11750
  • Publisher: Springer, Cham
  • Pages: 41-58
  • ISBN: 978-3-030-29661-2, eISBN: 978-3-030-29662-9
  • DOI: 10.1007/978-3-030-29662-9_3



Arbeitsgruppe DFKI



Massoud, R.; Le, H.; Drechsler, R.
Property-driven Timestamps Encoding for Timeprints-based Tracing and Monitoring
In: André, É.; Stoelinga, M. (eds.): Formal Modeling and Analysis of Timed Systems. Proceedings of 17th International Conference, FORMATS 2019. Springer, Cham, 2019, pp. 41-58
(Workgroup: DFKI)
BibTeX Close


Download as .bib