Synthesizing Reactive Systems Using Robustness and Recovery Specifications

Masoud Ebrahimi
Masoud Ebrahimi
Ofer Strichman
Ofer Strichman

FMCAD, pp. 147-151, 2019.

Cited by: 1|Bibtex|Views0|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments