Cited By
View all- Li JLiu S(2023)Requirements‐related fault prevention during the transformation from formal specifications to programsIET Software10.1049/sfw2.1212617:3(316-332)Online publication date: 15-May-2023
- Dragomir IOber IPercebois C(2017)Contract-based modeling and verification of timed safety requirements within SysMLSoftware and Systems Modeling (SoSyM)10.1007/s10270-015-0481-116:2(587-624)Online publication date: 1-May-2017
- Rigby PGerman DCowen LStorey M(2014)Peer Review on Open-Source Software ProjectsACM Transactions on Software Engineering and Methodology10.1145/259445823:4(1-33)Online publication date: 5-Sep-2014
- Show More Cited By