Specification and Automated Verification of Dynamic Dataflow Networks

Jonatan Wiik, Pontus Boström

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

2 Citations (Scopus)

1 Finished

1 results

Finished

ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M., Olszewska, M., Edmunds, A., Ostroumov, S., Petre, L., Boström, P. & Neovius, M.
01/09/13 → 31/08/17
Project: Research Council of Finland/Other Research Councils