Old Web
English
Sign In
Acemap
>
Paper
>
AADL model transformation for formal verification
AADL model transformation for formal verification
2008
Thomas Abdoul
Joël Champeau
Philippe Dhaussy
Pierre Yves Pillain
Jean-Charles Roger
Keywords:
Model transformation
Systems engineering
Computer science
Formal verification
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]