Leveraging Industrial Automation Boundaries and Regulation for Scope Reduction in Software Validation.

Yizhi Wang, Birgit Vogel-Heuser, Jan Wilch, Cedric Wagner, Andreas Bremer, Alexander Weigl, Bernhard Beckert

Browse the full SMC paper archive.