Verification of Open Concurrent Object Systems.

Ilham W. Kurnia Arnd Poetzsch-Heffter

Published in: FMCO (2012)

Keyphrases

management system
d objects
asynchronous circuits
viewpoint
object model
three dimensional
multiscale
distributed systems
computer systems
complex objects
target object