A Logic for the Specification of Continuous Systems.

Published in: HSCC (1998)

Keyphrases

asynchronous circuits
management system
neural network
distributed systems
complex systems
machine learning
modal logic
operational semantics
information retrieval
search engine
knowledge base
digital circuits
state machine
formal languages