Formal techniques for systems specification and verification.

José Carmo Amílcar Sernadas

Published in: Inf. Syst. (1991)

Keyphrases

formal methods
asynchronous circuits
formal languages
retrieval systems
formal verification
intelligent systems
reactive systems
machine learning
database systems
real time
information retrieval
computer vision
control system
complex systems
model checking
formal specification