Specification and Analysis of Concurrent Systems in a Complete Visual Environment.

Marita Dücker Georg Lehrenfeld Wolfgang Müller Christoph Tahedi

Published in: ESM (1996)

Keyphrases

concurrent systems
visual environment
information systems
temporal logic
data analysis
formal specification
high level
expert systems
image analysis
distributed systems
process algebra