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.
 
Neuigkeiten Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.
 
 

Ergebnis der Suche nach: tit all "Algorithms"

Zurück zur Trefferliste


Treffer 219 von 1096 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1339236583
Titel An approach for the verification and synthesis of complete test generation algorithms for finite state machines / Robert Sachtleben ; Gutachter: Jan Peleska, Burkhart Wolff ; Betreuer: Jan Peleska
Person(en) Sachtleben, Robert (Verfasser)
Peleska, Jan (Akademischer Betreuer)
Peleska, Jan (Gutachter)
Wolff, Burkhart (Gutachter)
Verlag Bremen : Staats- und Universitätsbibliothek Bremen
Zeitliche Einordnung Erscheinungsdatum: 2022
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, Bremen, Universität Bremen, 2022
Persistent Identifier URN: urn:nbn:de:gbv:46-elib60689
DOI: 10.26092/elib/1665
URL https://media.suub.uni-bremen.de/handle/elib/6068 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Verifikation* ; Model Checking* ; Softwaretest* ; Formale Spezifikationstechnik* ; Endlicher Automat* ; Formale Methode* (*maschinell ermittelt)
DDC-Notation 005.14 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 219 von 1096
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration