Bernardo Wagner

• Ein Wissensbasiertes Verfahren zur formalen Beschreibung und Auswertung von Randbedingungen- und Pflichtenheften für Automatisierungssysteme