onera.pmlanalyzer.views.interference.model
Package containing the model extensions for interference analysis
Attributes
- See also:
views.interference.model.specification for modelling features for interference analysis specification
views.interference.model.formalisation for internal models used to formalise the problem as SMT problem
- Note:
internal models should not be used for platform analysis or modelling