![]() | ![]() |
| 2002 | ||
|---|---|---|
| 3 | Wolfgang A. Halang, Nihal Kececi, Grace Tsai: Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems. DIPES 2002: 153-162 | |
| 2 | Nihal Kececi, Wolfgang A. Halang, Alain Abran: A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems. DIPES 2002: 61-69 | |
| 2001 | ||
| 1 | Ahmed Seffah, Nihal Kececi, Mohammad Donyaee: QUIM: A Framework for Quantifying Usability Metrics in Software Quality Models. APAQS 2001: 311-318 | |
| 1 | Alain Abran | [2] |
| 2 | Mohammad Donyaee | [1] |
| 3 | Wolfgang A. Halang | [2] [3] |
| 4 | Ahmed Seffah | [1] |
| 5 | Grace Tsai | [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page