Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior.

Claudia Ermel, Jrgen Gall, Leen Lambers, Gabriele Taentzer

Browse the full FASE paper archive.