New Publication: Identifying and Analyzing Implicit Interactions in a Wastewater Dechlorination System
Our new publication “” is now published online. This paper presents the results of applying a formal methods-based approach for identifying and analyzing implicit interactions in a real-world wastewater dechlorination system provided by a municipal wastewater treatment facility and is based of the work resulting from our project with with the . It was presented at the in September 2020. See Publications for more details!