Concurrent process model and specification cause-effect monitoring using alternate diagnostic signatures.

Shyam Kumar Devarakond, Shreyas Sen, Soumendu Bhattacharya, Abhijit Chatterjee

Browse the full VTS paper archive.