Formal and Semi-Graphic Specification of Non-Sequential Systems.

Bernd J. Krämer

Published in: Entwurf großer Software-Systeme (1984)

Keyphrases

formal methods
complex systems
management system
formal languages
reactive systems
expert systems
distributed systems
intelligent systems
information retrieval systems
learning systems
computer systems
data sets
relational databases
multimedia
social networks
search engine
artificial intelligence