Login / Signup
Enhancing Structured Analysis by Timed Statecharts for Real-Time and Concurrency Specification.
Michael von der Beeck
Published in:
Decentralized and Distributed Systems (1993)
Keyphrases
</>
real time
colored petri nets
statistical analysis
distributed systems
low cost
control system
case study
data sets
high level
image sequences
data analysis
xml documents
information systems
databases
structured data
data flow
formal methods
database