Electronic Communication of the European Association of Software Science and Technology, Volume 45
Formal Methods for Interactive Systems
Chris W. Johnson
: Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems.
: Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems.