PubPeer
The online Journal club
login
create account
Home
Publications
Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems (2018) -
Comments
doi: 10.1145/3147451 issn: 1539-9087 issn: 1558-3465
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
Go to article
Go to preprint
Association for Computing Machinery (ACM)
Comments awaiting moderation ({{totalComments}})
Review last reports ({{totalReports}})
Review last email suggestions ({{totalPendingEmails}})
Last month's whitelisted comments ({{totalWhitelistedComments}})