Crossmark

Deriving invariant checkers for critical infrastructure using axiomatic design principles

Published Online: 2021-04-02

Authors

Yoong, Cheah Huei

Palleti, Venkata Reddy

Maiti, Rajib Ranjan

Silva, Arlindo

Poskitt, Christopher M
License Information

Text and Data Mining valid from 2021-04-02

Version of Record valid from 2021-04-02
More Information

Article History

Received: 18 August 2020

Accepted: 1 January 2021

First Online: 2 April 2021

Competing interests

: The authors declare that they have no competing interests.

Document is current