Cited By
View all- Wu DBan XWang H(2017)COSE: A composable ocean simulation environmentOCEANS 2017 - Aberdeen10.1109/OCEANSE.2017.8084712(1-6)Online publication date: Jun-2017
- Cavalcante EQuilbeuf JTraonouez LOquendo FBatista TLegay A(2016)Statistical Model Checking of Dynamic Software ArchitecturesSoftware Architecture10.1007/978-3-319-48992-6_14(185-200)Online publication date: 3-Nov-2016
- Quilbeuf JCavalcante ETraonouez LOquendo FBatista TLegay A(2016)A Logic for the Statistical Model Checking of Dynamic Software ArchitecturesLeveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques10.1007/978-3-319-47166-2_56(806-820)Online publication date: 5-Oct-2016
- Show More Cited By