Software and Systems Modeling

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Software and Systems Modeling
 
e-ISSN
1619-1374
 
ISSN
1619-1366
 
Publisher Herausgeber
SPRINGER HEIDELBERG
 
Publisher's Address Herausgeber Adresse
TIERGARTENSTRASSE 17, HEIDELBERG, GERMANY, D-69121
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Author:  Lúcio, Levi

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Oakes, Bentley James ; Troya, Javier ; Lúcio, Levi ; Wimmer, Manuel Full Contract Verification for ATL using Symbolic ExecutionArtikel Article 2016
2Lúcio, Levi ; Amrani, Moussa ; Dingel, Juergen ; Lambers, Leen ; Salay, Rick ; Selim, Gehan M. K. ; Syriani, Eugene ; Wimmer, Manuel Model transformation intents and their propertiesArtikel Article2014