Measuring with timed patterns

DOI10.1007/978-3-319-21668-3_19zbMath1381.68160OpenAlexW951335392MaRDI QIDQ1702899

Dogan Ulus, Oded Maler, Thomas Ferrère, Dejan Ničković

Publication date: 1 March 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-21668-3_19

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software)

This page was built for publication: Measuring with timed patterns