Modeling and Compositional Design for Secure Embedded Systems (Invited Talk)
NSF-IST workshop: Long Term Challenges in High Confidence Composable Embedded Systems, Helsinki (Finland), June 20--23, 2006. 2006
Erscheinungsjahr: 2006
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Geprüft | Bibliothek |