KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

Formal methods for industrial critical systems : 27th international conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, proceedings (2022)

FMICS 27. 2022 Warschau ; Groote, Jan Friso 1965- ; Huisman, Marieke

Cham, Switzerland :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

edocfu_BV048495921

Umfang: 1 Online-Ressource (x, 245 Seiten) : , 79 Illustrationen, 53 in Farbe.

ISBN: 978-3-031-15008-1

Serie: Lecture notes in computer science 13487

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-031-15007-4

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-031-15009-8

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Sicherheitskritisches System ; Formale Methode ; Systemanalyse ; Systementwurf ; Softwareentwicklung ; Verifikation ; Programmiersprache ; Compiler ; Interpretierer ; Software Engineering ; Konferenzschrift

DOI: 10.1007/978-3-031-15008-1

URL: Volltext (URL des Erstveröffentlichers)

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

FU Berlin

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg