Cited By
View all- Moosbrugger PRozier KSchumann J(2017)R2U2Formal Methods in System Design10.5555/3135630.313563651:1(31-61)Online publication date: 1-Aug-2017
- Venugopalan VPatterson C(2017)Architectural refinements for enhancing trust and securing cyber-physical systems2017 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computed, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI)10.1109/UIC-ATC.2017.8397621(1-8)Online publication date: Aug-2017
- Pike LSharp JTullsen MHickey PBielman J(2017)Secure Automotive SoftwareIEEE Software10.1109/MS.2017.7834:3(49-55)Online publication date: 1-May-2017
- Show More Cited By