V Vyatkin, S Karras, T Pfeiffer - … on Industrial Informatics: 10/08/2005 …, 2005 - diva-portal.org
This paper introduces an idea of a validatable architecture for software intensive industrial
automation systems. The validation means will be provided through the formal modeling of …