C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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