Login / Signup
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems.
Marius Bozga
Alexandre David
Arnd Hartmanns
Holger Hermanns
Kim G. Larsen
Axel Legay
Jan Tretmans
Published in:
DATE (2012)
Keyphrases
</>
embedded systems
computing power
embedded devices
embedded software
object oriented
low cost
resource limited
artificial intelligence
multi agent systems
communication networks
wireless communication
communication technologies
real time systems
processing power
real time image processing
hw sw