|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 15 van 27 gevonden artikelen
| Titel: |
Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements |
| Auteur: |
Przigoda, Nils Niemann, Philipp Filho, Jonas Gomes Wille, Robert Drechsler, Rolf |
| Verschenen in: |
Computer languages, systems & structures |
| Paginering: | Jaargang 54 (2018) nr. C pagina's 512-527 |
| Jaar: |
2018 |
| Inhoud: | |
| Uitgever: |
Elsevier Ltd |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 15 van 27 gevonden artikelen
| << vorige | volgende >> |