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 6 von 8
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Programming and Software Engineering : 11687
1st ed. 2019, 2019

Details

Autor(en) / Beteiligte
Titel
Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Ist Teil von
  • Programming and Software Engineering : 11687
Auflage
1st ed. 2019
Ort / Verlag
Cham : Springer International Publishing
Erscheinungsjahr
2019
Link zum Volltext
Sprache
Englisch
Identifikatoren
ISBN: 9783030270087
DOI: 10.1007/978-3-030-27008-7
Titel-ID: 990363785320206441
Format
1 Online-Ressource (XV, 161 p. 156 illus., 33 illus. in color)
Schlagworte
Systementwurf, Verifikation, Sicherheitskritisches System, Systemanalyse, Formale Methode, Softwareentwicklung, Computer science, Software engineering, Information theory, Artificial intelligence, Computer simulation