Login / Signup
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.
Marcel Verhoef
Peter Gorm Larsen
Jozef Hooman
Published in:
FM (2006)
Keyphrases
</>
embedded real time systems
distributed systems
real time
multi agent
cooperative
petri net
distributed environment
embedded systems
database
databases
information systems
response time