VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics.

Michelle Werth Michael Leuschel

Published in: ABZ (2020)

Keyphrases

lightweight
formal models
rule based systems
formal model
communication infrastructure
multimedia
process model
wireless sensor networks
computer graphics
user interface
dos attacks
development environments
case study
pattern recognition
power consumption