External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Predrag Filipovikj

This author has not been identified. Look up 'Predrag Filipovikj' in Google

Guillermo Rodríguez-Navas

This author has not been identified. Look up 'Guillermo Rodríguez-Navas' in Google

Mattias Nyberg

This author has not been identified. Look up 'Mattias Nyberg' in Google

Cristina Seceleanu

This author has not been identified. Look up 'Cristina Seceleanu' in Google
runs on