Informatik (15.821 Artikel)

12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings

13th International Conference, MEDI 2024, Naples, Italy, November 18-20, 2024, Proceedings

Finally, use cases from different domains are introduced that show how these models could be applied in real-world applications.

Finally, use cases from different domains are introduced that show how these models could be applied in real-world applications.

Extensions of the SPES Methodology

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult an...

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult an...

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Es...

Die modellbasierte Performancevorhersage ist ein bekanntes Konzept zur Gewährleistung der Softwarequalität. Derzeitige Ansätze basieren auf einem Modell mit einer Metrik, was zu ungenauen Vorhersag...

This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in October 2019.The 24 revised full papers pr...

7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings

This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in October 2014. The 15 revised full pap...

This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017.The 17 revised full papers present...

This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and...

Model-Based Software Performance Analysis