8. ECMFA 2012:
Lyngby, Denmark Antonio Vallecillo , Juha-Pekka Tolvanen , Ekkart Kindler , Harald Störrle , Dimitrios S. Kolovos (Eds.):
Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings.
Lecture Notes in Computer Science 7349 Springer 2012, ISBN 978-3-642-31490-2
export record as
dblp key:
Ed Seidewitz :
Executable UML: From Multi-domain to Multi-core.
1
export record as
dblp key:
Henrik Lönn :
Models Meeting Automotive Design Challenges.
2-3
export record as
dblp key:
export record as
dblp key:
conf/ecmdafa/VotintsevaWRS12
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ecmdafa/GoldschmidtM12
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ecmdafa/KolovosRWMP12
export record as
dblp key:
Tao Yue ,
Shaukat Ali :
Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies.
133-145
export record as
dblp key:
conf/ecmdafa/PuissantSM12
export record as
dblp key:
Gefei Zhang :
Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines.
162-177
export record as
dblp key:
export record as
dblp key:
conf/ecmdafa/AtkinsonGK12
export record as
dblp key:
export record as
dblp key:
conf/ecmdafa/BehjatiNYGB12
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ecmdafa/RadjenovicPRWK12
export record as
dblp key:
conf/ecmdafa/RadjenovicMPRMBK12
export record as
dblp key:
Ning Ge ,
Marc Pantel :
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems.
352-367
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ecmdafa/WinklerFGM12
export record as
dblp key:
conf/ecmdafa/BurtonPRKPS12