Search for Author All Reviews
	Fugger, Matthias     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews        Runtime verification of embedded real-time systems Reinbacher T., Függer M., Brauer J. Formal Methods in System Design 44(3): 203-239, 2014.  Type: Article Runtime verification involves checking whether a given system (in software or hardware) satisfies a given property during the execution of the system. This paper presents a set of runtime verification algorithms, their correctness, and...... Aug 28 2015
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy