Media type: Doctoral Thesis; Electronic Thesis; E-Book Title: Theory and applications of runtime monitoring metric first-order temporal logic Contributor: Müller, Samuel [Author] Published: ETH, 2009 Language: English DOI: https://doi.org/20.500.11850/72704; https://doi.org/10.3929/ethz-a-005932651 Keywords: ENDLICHE AUTOMATEN (THEORIE DER REGELUNGSSYSTEME) ; TEMPORAL LOGIC (MATHEMATICAL LOGIC) ; RELIABILITY ANALYSIS + STABILITY ANALYSIS (CONTROL SYSTEMS THEORY) ; TEMPORALLOGIK (MATHEMATISCHE LOGIK) ; Data processing ; PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK) ; ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK) ; RELATIONALE DATENBANKEN (INFORMATIONSSYSTEME) ; ZUVERLÄSSIGKEITSANALYSE + STABILITÄTSANALYSE (THEORIE DER REGELUNGSSYSTEME) ; FINITE AUTOMATA (CONTROL SYSTEMS THEORY) ; RELATIONAL DATABASES (INFORMATION SYSTEMS) ; TIME-VARYING SYSTEMS (CONTROL SYSTEMS THEORY) ; ALGORITHMIC COMPLEXITY (MATHEMATICS) ; Mathematics ; PREDICATE LOGIC (MATHEMATICAL LOGIC) ; computer science ; ZEITLICH VERÄNDERLICHE SYSTEME (THEORIE DER REGELUNGSSYSTEME) Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted