Cited By
View all- Ahonen Ade Koning MMachado TGhabcheloo RSievi-Korte O(2023)An exploratory study of software engineering in heavy-duty mobile machine automationRobotics and Autonomous Systems10.1016/j.robot.2023.104424165:COnline publication date: 1-Jul-2023
- Bures THnetynka PHeinrich RSeifermann SWalter M(2020)Capturing Dynamicity and Uncertainty in Security and Trust via Situational PatternsLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles10.1007/978-3-030-61470-6_18(295-310)Online publication date: 20-Oct-2020
- Bures TWeyns DSchmerl BFitzgerald JAniculaesei ABerger CCambeiro JCarlson JChowdhury SDaun MLi NMarkthaler MMenghi CPenzenstadler BPettit APettit RSabatucci LTranoris CVangheluwe HVoss SZavala E(2019)Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop ReportACM SIGSOFT Software Engineering Notes10.1145/3364452.336446544:4(11-13)Online publication date: 12-Dec-2019