Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Title | Author(s) |
---|---|---|
Nov-2015 | A Mixed Model for Pairwise Comparisons and Its Applications | Mirdad, Abeer |
Nov-2015 | An Engineering Methodology for the Formal Verification of Function Block Based Systems | Pang, Linna |
2015 | Modeling Elevator System With Coloured Petri Nets | Assiri, Mohammed |
Nov-2015 | A Logical Basis for Reasoning with Default Rules | Cassano, Valentin |
Nov-2015 | Higher-Fidelity Modelling and Simulation of the CAN Protocol Stack | Whinton, Grant |
Nov-2015 | A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems | Chen, Wen |
2015 | Design and Formal Verification of an Adaptive Cruise Control Plus (ACC+) System | Vakili, Sasan |
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 |
Discover
Author