KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

Leveraging applications of formal methods, verification and validation : tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings, part IV (2021)

ISoLA 9. 2020 Online ; Margaria-Steffen, Tiziana 1964- ; Steffen, Bernhard 1958-

Cham, Switzerland :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almafu_BV047463314

Umfang: 1 Online-Ressource : , Illustrationen, Diagramme.

ISBN: 978-3-030-83723-5

Serie: Lecture notes in computer science 12479

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-83722-8

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-83724-2

Sprache: Englisch

Schlagwort(e): Softwareentwicklung ; Programmanalyse ; Programmverifikation ; Formale Methode ; Software Engineering ; Künstliche Intelligenz ; Mathematische Logik ; Systementwurf ; Systemanalyse ; Verifikation ; Formale Methode ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-3-030-83723-5

URL: Volltext (URL des Erstveröffentlichers)

Mehr zum Autor: Margaria-Steffen, Tiziana 1964-