dissertation · Univ. Duesseldorf: Duesseldorfer Dokumenten- und Publikationsserver · 2025

Simulation and Code Generation for Validation and Verification of Formal B Models

Vu, Fabian

Cited by 0Abstract and details only

Abstract

The index has no abstract for this paper.

Cite this paper

Vu, F. (2025). Simulation and Code Generation for Validation and Verification of Formal B Models. Univ. Duesseldorf: Duesseldorfer Dokumenten- und Publikationsserver.

MLA 9

Vu, Fabian. “Simulation and Code Generation for Validation and Verification of Formal B Models.” Univ. Duesseldorf: Duesseldorfer Dokumenten- und Publikationsserver, 2025.

Chicago

Vu, Fabian. 2025. “Simulation and Code Generation for Validation and Verification of Formal B Models.” Univ. Duesseldorf: Duesseldorfer Dokumenten- und Publikationsserver.

Harvard

Vu, F. (2025) ‘Simulation and Code Generation for Validation and Verification of Formal B Models’, Univ. Duesseldorf: Duesseldorfer Dokumenten- und Publikationsserver.

BibTeX

@phdthesis{vu2025simulation,
  title = {{Simulation and Code Generation for Validation and Verification of Formal B Models}},
  author = {Vu, Fabian},
  school = {Univ. Duesseldorf: Duesseldorfer Dokumenten- und Publikationsserver},
  year = {2025}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.