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 |
- | Using STPA in an ISO 26262 compliant process | Mallya, Archana |
Nov-2015 | An Engineering Methodology for the Formal Verification of Function Block Based Systems | Pang, Linna |
2016 | Conto: A Prototype Tool for the Generation and Utilization of a Configured Ontology | LeClair, Andrew |
2016 | BEHAVIOURAL FOUNDATIONS OF FEATURE MODELING | Safilian, Aliakbar |
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 |
- | Hierarchical Interface-Based Decentralized Supervisory Control | Liu, Huailiang |
17-Jun-2016 | Modelling Concurrent Systems with Interval Processes | Alqarni, Mohammad |