Begeleid werk
- 4 resultaten
Zoekresultaten
-
2025
Model Checking Machine-Control Applications
Stramaglia, A., 5 nov. 2025, Eindhoven: Eindhoven University of Technology. 189 blz.Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
Open AccessBestand375 Downloads (Pure) -
Semi-Automatic Tool for Legacy Test Migration to MTEST: Design and Development of a Migration Tool for ASML Module Testing
Gebremariam, T., 8 okt. 2025, Eindhoven: Technische Universiteit Eindhoven. 61 blz.Onderzoeksoutput: Scriptie › EngD Thesis
-
Uncovering Legacy Code
van Spaendonck, P. H. M., 12 nov. 2025, Eindhoven: Eindhoven University of Technology. 153 blz.Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
Open AccessBestand249 Downloads (Pure) -
2022
Verification Techniques for xMAS
Fedotov, A., 11 jan. 2022, Eindhoven: Eindhoven University of Technology. 147 blz.Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
Open AccessBestand313 Downloads (Pure)