Nihal Kececi

Publication Activity (10 Years)

Years Active: 2001-2002
Publications (10 Years): 0

Publications

Wolfgang A. Halang, Nihal Kececi, Grace Tsai
Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems. DIPES (2002)
Nihal Kececi, Wolfgang A. Halang, Alain Abran
A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems. DIPES (2002)
Ahmed Seffah, Nihal Kececi, Mohammad Donyaee
QUIM: A Framework for Quantifying Usability Metrics in Software Quality Models. APAQS (2001)