[aadl]: OSATE example

Mohsen Fazelinia ftandis at gmail.com
Thu Jun 12 08:47:13 EDT 2014


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. please
help me.
thank you so much
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Sae-aadl-users mailing list