Cited By
View all- Bijo SJohnsen EPun KSeidl CTarifa S(2018)Deployment by Construction for Multicore ArchitecturesLeveraging Applications of Formal Methods, Verification and Validation. Modeling10.1007/978-3-030-03418-4_26(448-465)Online publication date: 5-Nov-2018