[IEEE 2016 Euromicro Conference on Digital System Design (DSD) - Limassol, Cyprus (2016.8.31-2016.9.2)] 2016 Euromicro Conference on Digital System Design (DSD) - Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping
Hilken, Frank, Gogolla, MartinYear:
2016
Language:
english
DOI:
10.1109/DSD.2016.42
File:
PDF, 197 KB
english, 2016