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.

Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components

Joshua Heneage Dawes, Domenico Bianculli. Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components. In Silvia Lizeth Tapia Tarifa, José Proença, editors, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Volume 13712 of Lecture Notes in Computer Science, pages 20-38, Springer, 2022. [doi]

Authors

Joshua Heneage Dawes

This author has not been identified. Look up 'Joshua Heneage Dawes' in Google

Domenico Bianculli

This author has not been identified. Look up 'Domenico Bianculli' in Google
runs on