Skip to main navigation Skip to search Skip to main content

Early and systematic validation of formal models

  • Sebastian Stock

Research output: Thesis › Doctoral thesis

Original languageEnglish
QualificationPhD
Supervisors/Reviewers
  • Mashkoor, Atif, Supervisor
  • Egyed, Alexander, Supervisor
  • Leuschel, Michael, Supervisor, External person
Award date06 Sept 2024
Publication statusPublished - 06 Sept 2024

Fields of science

  • 102 Computer Sciences
  • 102022 Software development

JKU Focus areas

  • Sustainable Development: Responsible Technologies and Management
  • Digital Transformation

Access to Document

  • 1 Conference proceedings

  • Early and Systematic Validation of Formal Models

    Stock, S., Nov 2023, Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Proceedings. Springer (ed.). Vol. 14308. p. 255-260 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14308 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Cite this