Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems.

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)

Keyphrases