Integrating VDM++ and Real-Time System Design.

Kevin Lano S. J. Goldsack Juan Bicarregui Stuart Kent

Published in: ZUM (1997)

Keyphrases

real time
low cost
design process
multimedia
object oriented
design space
artificial intelligence
social networks
case study
control system
software engineering
computer aided
embedded systems
optimal design
fpga device