CLAIR: A Contract-Based Framework for Developing Resilient CPS Architectures

2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC) ◽

10.1109/isorc.2018.00013 ◽

2018 ◽

Author(s):

Sidharta Andalam ◽

Daniel Jun Xian Ng ◽

Arvind Easwaran ◽

Karthikeyan Thangamariappan

Download Full-text