Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4 Publications
2004 | Book Chapter | LibreCat-ID: 33825
S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in Integration of Software Specification Techniques for Applications in Engineering, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
S. Flake and W. Müller, “Formal Semantics of Static and Temporal State-Oriented OCL Constraints,” Journal on Software and System Modeling (SoSyM), vol. 2, no. 3, pp. 164–186, 2003, doi: 10.1007/s10270-003-0026-x.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39364
S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,” 2003.
LibreCat