Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
David Trachtenherz entwickelt einen Lösungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler…