Login / Signup
Wie formal soll und darf die Beschreibung des Pflichtenheftes für ein Prozeßautomatisierungsssystem sein?
Rudolf Lauber
Silvije Jovalekic
Published in:
GI Jahrestagung (1981)
Keyphrases
</>
formal model
formal specification
trade off
wireless sensor networks
data sets
computer vision