Object Nets for the Design and Verification of Distributed and Embedded Applications.

Jürgen Nützel Bernd Däne Wolfgang Fengler

Published in: IPPS/SPDP Workshops (1998)

Keyphrases

cooperative
real time embedded
building blocks
distributed architecture
embedded systems
d objects
formal verification
design methodology
computing environments
functional verification
hw sw
design principles
database
distributed environment
computer aided
design process
three dimensional