Formal Modelling to Improve Safety and Security.

Thierry Lecomte

Published in: Applicable Formal Methods for Safe Industrial Products (2023)

Keyphrases

real time
information security
network security
intrusion detection
formal specification
artificial intelligence
social networks
case study
multi agent systems
information sharing
functional requirements