Exploring AADL verification tool through model transformation release_odgb5czbzreexhmvo3lbafhsaq

by Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai

Published in Journal of systems architecture by Elsevier BV.

2015   Volume 61, Issue 3-4, p141-156

Archived Files and Locations

application/pdf  1.2 MB
file_z3zgxd4kcfh45i3vaialhznv6i
hal.archives-ouvertes.fr (repository)
web.archive.org (webarchive)
application/pdf  1.4 MB
file_2xwcao45nfhlfhlbkhfph76lsi
hal.archives-ouvertes.fr (web)
web.archive.org (webarchive)
application/pdf  1.4 MB
file_qwlyfpeo4rbclllyobxzyytori
oatao.univ-toulouse.fr (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2015
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1383-7621
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: aff75159-664d-4fc7-af92-99682fc09dcb
API URL: JSON