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.

Automata-Based Behavioural Contracts with Action Correlation

Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian Luigi Ferrari. Automata-Based Behavioural Contracts with Action Correlation. In Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, editors, From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Volume 11865 of Lecture Notes in Computer Science, pages 131-151, Springer, 2019. [doi]

Authors

Davide Basile

This author has not been identified. Look up 'Davide Basile' in Google

Rosario Pugliese

This author has not been identified. Look up 'Rosario Pugliese' in Google

Francesco Tiezzi

This author has not been identified. Look up 'Francesco Tiezzi' in Google

Pierpaolo Degano

This author has not been identified. Look up 'Pierpaolo Degano' in Google

Gian Luigi Ferrari

This author has not been identified. Look up 'Gian Luigi Ferrari' in Google
runs on