A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems.

Ghislaine Thuau Bachir Berkane

Published in: Formal Methods Syst. Des. (1993)

Keyphrases

databases
computing systems
computer systems
real time
database
neural network
expert systems
general purpose
hardware platforms
operating environment
hardware and software
model checking
retrieval systems
complex systems
building blocks
intelligent systems
distributed systems
software engineering
data sets