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.

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals

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]

Authors

Massimo Narizzano

This author has not been identified. Look up 'Massimo Narizzano' in Google

Luca Pulina

This author has not been identified. Look up 'Luca Pulina' in Google

Armando Tacchella

This author has not been identified. Look up 'Armando Tacchella' in Google

Simone Vuotto

This author has not been identified. Look up 'Simone Vuotto' in Google
runs on