11 |
Maintaining data consistency in embedded databases for vehicular systems /Gustafsson, Thomas, January 2004 (has links)
Lic.-avh. Linköping : Univ., 2004.
|
12 |
Verification and scheduling techniques for real-time embedded systems /Cortés, Luis Alejandro, January 2005 (has links)
Diss. Linköping : Univ., 2005.
|
13 |
Analysis and optimisation of real-time systems with stochastic behaviour /Manolache, Sorin. January 2005 (has links) (PDF)
Diss. Linköping : Linköpings universitet, 2005.
|
14 |
Techniques for implementing embedded domain specific languages in dynamic languages /Lejdfors, Calle. January 2006 (has links) (PDF)
Lic.-avh. Lund : Lunds universitet, 2006.
|
15 |
Information centric development of component-based embedded real-time systems /Hjertström, Andreas, January 2009 (has links)
Licentiatavhandling (sammanfattning) Västerås : Mälardalens högskola, 2009. / 29-[32]: Bibliografi.
|
16 |
Towards formal verification in a component-based reuse methodology /Karlsson, Daniel, January 2003 (has links)
Lic.-avh. Linköping : Univ., 2003.
|
17 |
Verification of component-based embedded system designs /Karlsson, Daniel, January 2006 (has links)
Diss. Linköping : Linköpings universitet, 2006.
|
18 |
Introducing a Memory Efficient Execution Model in a Tool-Suite for Real-Time Systems /Hänninen, Kaj, January 2006 (has links)
Lic.-avh. (sammanfattning) Västerås : Univ., 2006. / Härtill 4 uppsatser. S. [15]: Bibliografi.
|
19 |
Structural system-level testing of embedded real-time systems /Sundmark, Daniel, January 2008 (has links)
Diss. Västerås : Mälardalens högskola, 2008. / S. 169-181: Bibliografi.
|
20 |
Från sensor tillhttp : en fallstudie av integrationen mellan inbyggda system och Web ServicesGenc, Erkan, Axfjord, Dennis January 2003 (has links)
No description available.
|
Page generated in 0.0343 seconds