|
Search the dblp DataBase
Daniel Plagge:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Daniel Plagge, Michael Leuschel
Validating Z Specifications Using the ProBAnimator and Model Checker. [Citation Graph (0, 0)][DBLP] IFM, 2007, pp:480-500 [Conf]
Refinement-Animation for Event-B - Towards a Method of Validation. [Citation Graph (, )][DBLP]
Automated Property Verification for Large Scale B Models. [Citation Graph (, )][DBLP]
Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more. [Citation Graph (, )][DBLP]
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|