Cited By
View all- Stoppe JWille RDrechsler RDavid EOrdonez Mde Azevedo RKinget P(2014)Validating SystemC Implementations Against Their Formal SpecificationsProceedings of the 27th Symposium on Integrated Circuits and Systems Design10.1145/2660540.2660981(1-8)Online publication date: 1-Sep-2014
- Razavi NBehjati RSabouri HKhamespanah EShali ASirjani M(2011)SysfierACM Transactions on Embedded Computing Systems10.1145/1880050.188005510:2(1-35)Online publication date: 7-Jan-2011
- Kwiatkowska MNorman GParker D(2010)A framework for verification of software with time and probabilitiesProceedings of the 8th international conference on Formal modeling and analysis of timed systems10.5555/1885174.1885178(25-45)Online publication date: 8-Sep-2010
- Show More Cited By