Modeling and verifying behavioral constraints for automation systems.

Benjamin Brandenbourger, Milan Vathoopan, Alois Zoitl

Browse the full INDIN paper archive.