Browsing by Subject formal methods
Showing results 1 to 3 of 3
| Publication Date | Title | Author(s) |
|---|---|---|
| 2021 | Leveraging Information Contained in Theory Presentations | Sharoda, Yasmine |
| Jun-2015 | On the Modelling, Analysis, and Mitigation of Distributed Covert Channels | Jaskolka, Jason |
| Oct-2011 | A Tabular Expression Toolbox for Matlab/Simulink | Eles, Colin J. |
