Login / Signup
On the soundness of graphical representations of interconnected processes in LOTOS.
Tommaso Bolognesi
Published in:
Formal Methods in Software Development (1990)
Keyphrases
</>
graphical representations
graphical representation
visualization tools
open source
computer vision
graphical models
image quality
video content