Object-Oriented Logical Specification of Time-Critical Systems.

Angelo Morzenti Pierluigi San Pietro

Published in: ACM Trans. Softw. Eng. Methodol. (1994)

Keyphrases

object oriented
formal methods
programming language
management system
intelligent systems
multimedia
high level
bayesian networks
data model
building blocks
database applications
complex systems
asynchronous circuits