Results for Signal-flow graph

Publications & Outputs

1. Safety verification utilizing model-based development for safety critical cyber-physical systems

   Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 15/08/2017, In: Journal of Information Processing Systems. 25, p. 797-810 14 p.

   Research output: Contribution to Journal/Magazine › Journal article › peer-review