• Medientyp: E-Artikel
  • Titel: Component-Based Software Engineering: Towards Component-Based Design and Verification of a μ-Controller
  • Beteiligte: Choi, Yunja; Bunse, Christian
  • Erschienen: Springer Berlin Heidelberg, 2008
  • Erschienen in: Component-Based Software Engineering
  • Sprache: Nicht zu entscheiden
  • DOI: 10.1007/978-3-540-87891-9_13
  • ISSN: 0302-9743; 1611-3349
  • Entstehung:
  • Anmerkungen: