Zobrazeno 1 - 10
of 12 983
pro vyhledávání: '"Fleming, A. H."'
Autor:
Van Heteren, Godelieve, author
Publikováno v:
Essays in the History of Therapeutics. :123-124
Autor:
Biggs, Robert D.
Publikováno v:
Journal of Near Eastern Studies, 1999 Oct 01. 58(4), 298-300.
Externí odkaz:
https://www.jstor.org/stable/546174
Autor:
Sun, Minghui, Fleming, Cody H.
With the rapid advancement of Formal Methods, Model-based Safety Analysis (MBSA) has been gaining tremendous attention for its ability to rigorously verify whether the safety-critical scenarios are adequately addressed by the design solution of a cyb
Externí odkaz:
http://arxiv.org/abs/2205.00152
Autor:
Fleming, John H.1, Asplund, Jim2
Publikováno v:
Gallup Management Journal Online. 9/13/2007, p1. 4p. 1 Color Photograph.
Autor:
Fleming, John H., Asplund, Jim
Publikováno v:
Gallup Management Journal Online. 12/13/2007, p1. 4p. 1 Color Photograph, 1 Diagram.
Autor:
CLOUD, JOHN
Publikováno v:
Technology and Culture, 2012 Apr 01. 53(2), 493-495.
Externí odkaz:
https://www.jstor.org/stable/41475522
Publikováno v:
Britannica Online
Externí odkaz:
http://academic.eb.com/levels/collegiate/article/34543
Engineering safe and secure cyber-physical systems requires system engineers to develop and maintain a number of model views, both dynamic and static, which can be seen as algebras. We posit that verifying the composition of requirement, behavioral,
Externí odkaz:
http://arxiv.org/abs/2105.12911
Our work focuses on modeling the security of systems from their component-level designs. Towards this goal, we develop a categorical formalism to model attacker actions. Equipping the categorical formalism with algebras produces two interesting resul
Externí odkaz:
http://arxiv.org/abs/2103.00044
Publikováno v:
EPTCS 333, 2021, pp. 125-138
Assuring the correct behavior of cyber-physical systems requires significant modeling effort, particularly during early stages of the engineering and design process when a system is not yet available for testing or verification of proper behavior. A
Externí odkaz:
http://arxiv.org/abs/2101.10484