Search for Author All Reviews
	French, Tim     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Accelerating worst case execution time analysis of timed automata models with cyclic behaviour Al-Bataineh O., Reynolds M., French T. Formal Aspects of Computing 27(5-6): 917-949, 2015.  Type: Article The worst-case execution time (WCET) is an important property of safety-critical systems. In general, a safety-critical system can be analyzed using a formal model. An established formalism for modeling such systems is a timed automato...... Mar 31 2016     Semantics for knowledge and change of awareness van Ditmarsch H., French T. Journal of Logic, Language and Information 23(2): 169-195, 2014.  Type: Article In multiagent systems, the knowledge available to individual agents is subject to perpetual change: first, the truth of propositions may vary from one state of an agent to the next; second, the propositions that an agent is aware of ma...... Aug 29 2014
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy