Open AccessSupporting the changeability of SIPN-based logic control algorithms by verification and validation
Author(s) -
Stéphane Klein,
Georg Frey,
Jean-Jacques Lesage,
Lothar Litz
Publication year - 2003
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , algorithm