Login / Signup
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT.
John Håkansson
Jan Carlson
Aurelien Monot
Paul Pettersson
Davor Slutej
Published in:
ATVA (2008)
Keyphrases
</>
embedded systems
hw sw
embedded devices
low cost
case study
processing power
hardware software
embedded software
software systems
resource limited
artificial intelligence
cooperative
object oriented
design process
real time systems
design rationale