1 paper
Roopak Sinha, Sandeep Patil, Luis Gomes +1
Industrial automation systems (IAS) need to be highly dependable; they should not merely function as expected but also do so in a reliable, safe, and secure manner. Formal methods…