Theory and applications of runtime monitoring metric first-order temporal logic

Autor:	Müller, Samuel
Přispěvatelé:	Pfitzmann, Birgit, Basin, David A.
Jazyk:	angličtina
Rok vydání:	2009
Předmět:	TIME-VARYING SYSTEMS (CONTROL SYSTEMS THEORY) PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK) TEMPORALLOGIK (MATHEMATISCHE LOGIK) ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK) ALGORITHMIC COMPLEXITY (MATHEMATICS) FINITE AUTOMATA (CONTROL SYSTEMS THEORY) ZUVERLÄSSIGKEITSANALYSE + STABILITÄTSANALYSE (THEORIE DER REGELUNGSSYSTEME) RELATIONALE DATENBANKEN (INFORMATIONSSYSTEME) ZEITLICH VERÄNDERLICHE SYSTEME (THEORIE DER REGELUNGSSYSTEME) RELIABILITY ANALYSIS + STABILITY ANALYSIS (CONTROL SYSTEMS THEORY) RELATIONAL DATABASES (INFORMATION SYSTEMS) ENDLICHE AUTOMATEN (THEORIE DER REGELUNGSSYSTEME) PREDICATE LOGIC (MATHEMATICAL LOGIC) TEMPORAL LOGIC (MATHEMATICAL LOGIC) Data processing computer science FOS: Mathematics ddc:004 ddc:510 Mathematics
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c426a50c734920be4a38552f38535586 https://hdl.handle.net/20.500.11850/72704 Zobrazit plný text záznamu