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 |
| 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 |
| 17-Jun-2016 | Modelling Concurrent Systems with Interval Processes | Alqarni, Mohammad |
| 2016 | Gamification of Mobile Educational Software | Browne, Kevin |
| 2016 | Verification and Implementation of Embedded Systems from High-Level Models | Nokovic, Bojan |
Discover
Subject
Date issued
- 57 2020 - 2022
- 166 2010 - 2019
- 87 2003 - 2009
