Cited By
View all- Boer FGouw S(2014)Combining Monitoring with Run-Time Assertion CheckingAdvanced Lectures of the 14th International School on Formal Methods for Executable Software Models - Volume 848310.1007/978-3-319-07317-0_6(217-262)Online publication date: 16-Jun-2014
- Blech JSchätz B(2012)Towards a formal foundation of behavioral types for UML state-machinesACM SIGSOFT Software Engineering Notes10.1145/2237796.223781437:4(1-8)Online publication date: 16-Jul-2012
- Brosch PEgly UGabmeyer SKappel GSeidl MTompits HWidl MWimmer M(2012)Towards scenario-based testing of UML diagramsProceedings of the 6th international conference on Tests and Proofs10.1007/978-3-642-30473-6_12(149-155)Online publication date: 31-May-2012
- Show More Cited By