SMT-based consistency analysis of industrial systems requirements

Predrag Filipovikj, Guillermo Rodríguez-Navas, Mattias Nyberg, Cristina Seceleanu. SMT-based consistency analysis of industrial systems requirements. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. pages 1272-1279, ACM, 2017. [doi]

No reviews for this publication, yet.