published in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering Journal
presented at event 2nd International Summit on Internet of Things - IoT Infrastructures( IoT 360) Conference
keywords Computer Science Computer Science, Information Systems Computer Science, Software Engineering Computer Science, Theory & Methods MODEL CHECKER Probabilistic model checking Science & Technology Technology Telecommunications Validation Verification Water quality monitoring