The Model Analysis Framework - An IDE for Static Model Analysis
| Author: | Christian Saad, Bernhard BauerORCiDGND |
|---|---|
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/44030 |
| Parent Title (English): | 4th International Conference on Software Language Engineering Industry Track (ITSLE), Braga, Portugal, 3-4 July 2011 |
| Type: | Conference Proceeding |
| Language: | English |
| Date of Publication (online): | 2018/11/24 |
| Year of first Publication: | 2011 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2019/03/29 |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur Softwaremethodik für verteilte Systeme |
