Cited By
View all- Garcés LSena BNakagawa EWeiss M(2019)Towards an architectural patterns language for systems-of-systemsProceedings of the 26th Conference on Pattern Languages of Programs10.5555/3492252.3492254(1-24)Online publication date: 7-Oct-2019
- El Ballouli RBensalem SBozga MSifakis J(2018)Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIPLeveraging Applications of Formal Methods, Verification and Validation. Distributed Systems10.1007/978-3-030-03424-5_20(304-320)Online publication date: 31-Oct-2018
- El Ballouli RBensalem SBozga MSifakis J(2018)Programming Dynamic Reconfigurable SystemsFormal Aspects of Component Software10.1007/978-3-030-02146-7_6(118-136)Online publication date: 5-Oct-2018
- Show More Cited By