[aadl]: dependability

[Mohsen Fazelinia]

Hi
I want simulate and model a several system and analyze the dependability of
them. So, I should define the property set for subsystem. I want a video
example (or text example step by step) to show steps of this work from
start to end. Can you help me? A simple example is if there is good.
Thank you so much
-------------- next part --------------
HTML attachment scrubbed and removed