COVERS - A Tool for the Design of Real-time Concurrent Systems.

Andrei Borshchev Yuri G. Karpov Victor Roudakov

Published in: PaCT (1995)

Keyphrases

real time
concurrent systems
design process
vision system
engineering design
data sets
high speed
design rationale
neural network
user interface
building blocks
computer aided
design principles
real time systems
vlsi architecture
european space agency