> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: Runtime verification : 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 ; selected papers Beteiligte: Leucker, Martin [Hrsg.] Veranstaltung: RV Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2008 Erschienen in: Lecture notes in computer science ; 5289 Umfang: 187 S.; graph. Darst; 235 mm x 155 mm Sprache: Englisch ISBN: 354089246X; 9783540892465 Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 12539178 RVK-Notation: SS 4800 : Lecture notes in computer science Schlagwörter: Echtzeitverarbeitung > Verifikation Echtzeitverarbeitung > Software > Model Checking Echtzeitsystem > Monitoring Echtzeitsystem > Datensicherung > Computersicherheit Software > Testen > Formale Methode Entstehung: Anmerkungen: Literaturangaben Weitere Bestandsnachweise 0 : Lecture notes in computer science
Bereichsbibliothek DrePunct – Magazin Signatur: R2016 8 9826 Barcode: 32110000 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden