Results for Complex processing

Publications & Outputs

1. Aiding modular design and verification of safety-critical time-triggered systems by use of executable formal specifications

   Sakurai, K., Bokor, P. & Suri, N., 3/12/2008, 2008 11th IEEE High Assurance Systems Engineering Symposium. IEEE, p. 261-270 10 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review