16 September 2019
Our paper “Verifying Cross-layer Interactions through Formal Model-based Assertion Generation” has been accepted to IEEE Embedded Systems Letters.
Our paper “Verifying Cross-layer Interactions through Formal Model-based Assertion Generation” has been accepted to IEEE Embedded Systems Letters.