Eine Fallstudie zur Modellierung und formalen Analyse eines diskreten Navigationsproblems

Research output: Types of thesisBachelor thesis

Contributors

  • Anees Hlaleh - , TUD Dresden University of Technology (Author)

Details

Original languageGerman
Qualification levelBachelor of Science
Awarding Institution
Supervisors/Advisors
Defense Date (Date of certificate)25 Feb 2021
Publication statusPublished - 2021
Externally publishedYes
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.Thesis