Software Engineering and Formal Methods

22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

AvAlexander Knapp,Alexandre Madeira

E-bok
Engelska, 2024

944 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet

Beskrivning

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024.

The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The topics covered range from formal modelling, specification, and design in software development over safety-critical, fault-tolerant, and secure systems to real-time, hybrid, and cyber-physical systems and quantum computing.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer - Go Where the Bugs Are, Häftad
Del 15765

Go Where the Bugs Are

Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer

Häftad, 2025

813 kr

Alexander Schiendorfer, Gerhard Schellhorn, Hella Ponsar, Frank Ortmeier, Florian Nafz, Alexander Knapp, Matthias Gudemann, Gidon Ernst - Go Where the Bugs Are, E-bok

Go Where the Bugs Are

Alexander Schiendorfer, Gerhard Schellhorn, Hella Ponsar, Frank Ortmeier, Florian Nafz, Alexander Knapp, Matthias Gudemann, Gidon Ernst

E-bok
2025

993 kr