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.
2 Publications
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, A., & Müller, W. (2004). Refinement of Finite State Machines with Complementary Model Checking. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 155–168). Kluwer.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, A., Müller, W., & Oliver, I. (2004). The Echo Cancellation Unit Case Study. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 227–240). Kluwer.
LibreCat