Sign in
Timed executable system specification of an ADSL modem using a C++ based design environment: a case study.
Dirk Desmet
Michiel Esvelt
Prabhat Avasare
Diederik Verkest
Hugo De Man
Published in:
CODES (1999)
Keyphrases
</>
petri net
simulation environment
building blocks
test bed
real time
engineering design
tool suite
requirements specification
sequence diagrams
simulation tool
formal verification
specification language
formal specification
software architecture
high level
case study
neural network