Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 12 von 141
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings
Theoretical Computer Science and General Issues : 12860
1st ed. 2021, 2021

Details

Autor(en) / Beteiligte
Titel
Formal Modeling and Analysis of Timed Systems : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings
Ist Teil von
  • Theoretical Computer Science and General Issues : 12860
Auflage
1st ed. 2021
Ort / Verlag
Cham : Springer International Publishing
Erscheinungsjahr
2021
Link zum Volltext
Sprache
Englisch
Identifikatoren
ISBN: 9783030850371
DOI: 10.1007/978-3-030-85037-1
Titel-ID: 99370954165606441
Format
1 Online-Ressource (XI, 155 p. 36 illus., 23 illus. in color)
Schlagworte
Computers, Software engineering, Architecture, Computer, Special purpose computers, Computer simulation, Microprogramming