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.

Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory

Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar. Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. In Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar, editors, Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2916], Revised Selected Papers. Volume 10152 of Lecture Notes in Computer Science, pages 31-46, 2016. [doi]

Authors

Sidi Mohamed Beillahi

This author has not been identified. Look up 'Sidi Mohamed Beillahi' in Google

Umair Siddique

This author has not been identified. Look up 'Umair Siddique' in Google

Sofiène Tahar

This author has not been identified. Look up 'Sofiène Tahar' in Google
runs on