Towards Two-Level Formal Modeling of Computer-Based Systems.

Gabor Karsai Greg Nordstrom Ákos Lédeczi Janos Sztipanovits

Published in: J. Univers. Comput. Sci. (2000)

Keyphrases

management system
multimedia
expert systems
distributed systems
intelligent systems
formal methods
reactive systems
search engine
information systems
data structure
control system
building blocks
complex systems
model checking
dynamic aspects