Frame conditions in symbolic representations of UML/OCL models.
| Autor: | Przigoda, Nils, Filho, Jonas Gomes, Niemann, Philipp, Wille, Robert, Drechsler, Rolf |
|---|---|
| Zdroj: | 2016 ACM/IEEE International Conference on Formal Methods & Models for System Design (MEMOCODE); 2016, p65-70, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|