Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Title | Author(s) |
---|---|---|
Jun-2015 | Implementability of Requirements for Safety-Critical Embedded Systems | Patcas, Lucian |
Jun-2015 | Investigations into self motion thresholds using a Stewart platform | Akbari, Behzad |
Jun-2015 | A Metric Interval-based Temporal Description Logic | Yousef Sanati, Morteza |
Jun-2015 | A Methodology for the Simplification of Tabular Designs in Model-Based Development | Bialy, Monika |
Jun-2015 | On the Modelling, Analysis, and Mitigation of Distributed Covert Channels | Jaskolka, Jason |
Jun-2015 | A Mechanisation of Internal Galois Connections In Order Theory Formalised Without Meets | Al-hassy, Musa |
Jun-2015 | Secure and Trusted Verification | Cai, Yixian |
Nov-2015 | Modeling Concurrency with Interval Traces | Yin, Xiang |
Nov-2015 | A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain | Kumar, Apurva |
2016 | Type-Safe Domain-Specific Code Graph Construction Using Scala | Broadhead, Simon |