Search

Your search keyword '"Stevens, Perdita"' showing total 19 results

Search Constraints

Start Over You searched for: Author "Stevens, Perdita" Remove constraint Author: "Stevens, Perdita" Topic model check Remove constraint Topic: model check
19 results on '"Stevens, Perdita"'

Search Results

1. Enforcing QVT-R with mu-Calculus and Games

2. Games for UML Software Design

5. Statistical Model Checking of e-Motions Domain-Specific Modeling Languages

12. Beyond Parameterized Verification

17. Fate and FreeWill in Error Traces

Catalog

Books, media, physical & digital resources