> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: A formal framework for modelling component extension and layers in distributed embedded systems Beteiligte: Förster, Stefan [Verfasser] Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Eingebettetes System > CASHE > Teilsystem > Framework > Formale Spezifikationstechnik > Pi-Kalkül Entstehung: Hochschulschrift: Chemnitz, Techn. Univ., Diss., 2006 Anmerkungen: Zugangsstatus: Freier Zugang