Timing verification of distributed network systems at higher levels of abstraction.

Hassan Hatefi-Ardakani Amir Masoud Gharehbaghi Shaahin Hessabi

Published in: HLDVT (2008)

Keyphrases

levels of abstraction
distributed network
abstraction levels
knowledge based systems
learning systems
formal methods
asynchronous circuits
information systems
management system
computer systems
data sets
databases
expert systems
software engineering
greater flexibility
sensor placement