Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Wegen Wartungsarbeiten ist vom 12. bis 14. Januar 2026 der Museumslesesaal, sowie vom 14. bis 16. Januar 2026 der Musiklesesaal geschlossen. // Due to maintenance work the museum reading room will be closed from 12 to 14 January 2026 and the music reading room from 14 to 16 January 2026.
 
 

Ergebnis der Suche nach: dcs=00*

Zurück zur Trefferliste


Treffer 54106 von 54152 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4713349-1
Sachbegriff Zeitbehafteter Automat
Quelle Vorlage
Erläuterungen Definition: Ein endlicher Automat mit Uhrenvariablen und Zeitrestriktionen
Synonyme Timed automata
Finite state machine with time
Oberbegriffe Endlicher Automat
DDC-Notation 006.3
511.35
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Thema in 70 Publikationen
  1. [Methodology for the in-process evaluation of software-based process failures in selective laser melting machines]
    Methodology for the in-process evaluation of software-based process failures in selective laser melting machine tools
    Pastl Pontes, Rodrigo. - Stuttgart : Fraunhofer Verlag, [2018]
  2. The class of timed automata with quasi-equal clocks
    Herrera, Christian. - Freiburg : Universität, 2018
  3. ...
Maschinell verknüpft mit 6 Publikationen
  1. Probabilistic Model Checking for Temporal Logics in Weighted Structures
    Wunderlich, Sascha. - Dresden : Technische Universität Dresden, 2024
  2. Model-based quality assurance of intrumented context-free systems
    Frohme, Markus. - Dortmund : Universitätsbibliothek Dortmund, 2023
  3. ...





Treffer 54106 von 54152
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration