Verification of Behavioral Substitutability in Object-Oriented Models for Industrial Controllers.

Marcello Bonf, Cesare Fantuzzi, Cristian Secchi

Browse the full ICRA paper archive.