Cited By
View all- Guo CFu ZZhang ZRen SSha L(2020)A framework for supporting the development of verifiably safe medical best practice guideline systemsJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2019.101693104:COnline publication date: 1-Mar-2020
- Osterweil L(2018)What is software?The Essence of Software Engineering10.1007/978-3-319-73897-0_4(59-76)Online publication date: 14-Jun-2018
- Osterweil LBishop MConboy HPhan HSimidchieva BAvrunin GClarke LPeisert S(2017)Iterative Analysis to Improve Key Properties of Critical Human-Intensive ProcessesACM Transactions on Privacy and Security10.1145/304104120:2(1-31)Online publication date: 15-Mar-2017
- Show More Cited By