![](/img/cover-not-exists.png)
checsdm: A Method for Ensuring Consistency in Heterogeneous Safety-Critical System Design
Paz, Andres, El Boussaidi, Ghizlane, Hafedh, MiliYear:
2020
Journal:
IEEE Transactions on Software Engineering
DOI:
10.1109/tse.2020.2966994
File:
PDF, 5.73 MB
2020