Information-flow interfaces.
Saved in:
| Title: | Information-flow interfaces. |
|---|---|
| Authors: | Bartocci, Ezio1, ezio.bartocci@tuwien.ac.at, Ferrère, Thomas2, thomas.ferrere@imgtec.com, Henzinger, Thomas A.3, tah@ist.ac.at, Nickovic, Dejan4, dejan.nickovic@ait.ac.at, Oliveira da Costa, Ana3, ana.costa@ista.ac.at |
| Source: | Formal Methods in System Design; May2025, Vol. 66 Issue 1, p3-48, 46p |
| Database: | Applied Science & Technology Source |
| ISSN: | 09259856 |
|---|---|
| DOI: | 10.1007/s10703-024-00447-0 |
