Towards Compositional Verification of SDL Systems.

Bernd Grahlmann Hans Fleischhack

Published in: HICSS (7) (1998)

Keyphrases

management system
expert systems
computing systems
formal methods
real time
model checking
social networks
computer vision
multimedia
clustering algorithm
learning environment
information technology
intelligent systems
asynchronous circuits