Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 

Ergebnis der Suche nach: dcs=0*

Zurück zur Trefferliste


Treffer 433 von 4446 < < > <



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 433 von 4446
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration