Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto. Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. In Aaron Dutle, César A. Muñoz, Anthony Narkawicz, editors, NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Volume 10811 of Lecture Notes in Computer Science, pages 383-398, Springer, 2018. [doi]
No reviews for this publication, yet.