Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: dcs=0*

Zurück zur Trefferliste


Treffer 11 von 88 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1202848206
Titel Synthesizing adaptive test strategies from temporal logic specifications / Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
Person(en) Bloem, Roderick (Verfasser)
Fey, Görschwin (Verfasser)
Greif, Fabian (Verfasser)
Könighofer, Robert (Verfasser)
Pill, Ingo (Verfasser)
Riener, Heinz (Verfasser)
Röck, Franz (Verfasser)
Verlag Hamburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg
Zeitliche Einordnung Erscheinungsdatum: 2019
Umfang/Format Online-Ressource
Persistent Identifier URN: urn:nbn:de:gbv:830-882.062576
URL http://hdl.handle.net/11420/4328 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen In: Formal Methods in System Design 2 (55): 103-135 (2019)
DDC-Notation 005.14 [DDC23ger]
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 11 von 88
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration