Skip to content

Navigation Menu

Sign in
Sign up
#

ecore-model

Here are 9 public repositories matching this topic...

Language: All
Filter by language

We propose in this work an approach for the verification of the AADL (Architecture and Analysis Design Language) description. This approach is based in Model Driven Engineering (MDE) and assisted by a toolchain. Indeed, we define a source meta-model for AADL and a target meta-model for the timed automata formalism; we define a transformation proces...

  • Updated Aug 28, 2021
  • Assembly

Add this topic to your repo

To associate your repository with the ecore-model topic, visit your repo's landing page and select "manage topics."

Learn more

AltStyle によって変換されたページ (->オリジナル) /