|
An integrated semantics for reasoning about SysML design models using refinement |
|
|
|
Titel: |
An integrated semantics for reasoning about SysML design models using refinement |
Auteur: |
Lima, Lucas Miyazawa, Alvaro Cavalcanti, Ana Cornélio, Márcio Iyoda, Juliano Sampaio, Augusto Hains, Ralph Larkham, Adrian Lewis, Vaughan |
Verschenen in: |
Software and systems modeling |
Paginering: |
Jaargang 16 (2015) nr. 3 pagina's 875-902 |
Jaar: |
2015 |
Inhoud: |
|
Uitgever: |
Springer Berlin Heidelberg, Berlin/Heidelberg |
Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
|
|
|
|