Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Krupp, Alexander;
Müller, WolfgangLibreCat
Publishing Year
Proceedings Title
Proceedings of FDL'03
LibreCat-ID
Cite this
Krupp A, Müller W. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Proceedings of FDL’03. ; 2003.
Krupp, A., & Müller, W. (2003). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. Proceedings of FDL’03.
@inproceedings{Krupp_Müller_2003, place={Frankfurt, Germany}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Proceedings of FDL’03}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003} }
Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In Proceedings of FDL’03. Frankfurt, Germany, 2003.
A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” 2003.
Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” Proceedings of FDL’03, 2003.
Google Scholar