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 |