Click on a search word OR use the drop-down choices to search for a paper.
2015
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications Proceedings Article
In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 188–193, Springer 2015.