Stem filmstrip$ (all stems)
2 papers:
- ICMT-2014-HilkenHG #modelling #ocl #uml
- Transformation of UML and OCL Models into Filmstrip Models (FH, LH, MG), pp. 170–185.
- TAP-2014-HilkenNGW #behaviour #comparison #modelling #ocl #uml #verification
- Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models (FH, PN, MG, RW), pp. 99–116.