Nihal Kececi

According to our database, Nihal Kececi authored at least 3 papers between 2001 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems.

Nihal Kececi, Wolfgang A. Halang, Alain Abran

Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17^th World Computer Congress, 2002

Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems.

Wolfgang A. Halang, Nihal Kececi, Grace Tsai

Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17^th World Computer Congress, 2002

2001

QUIM: A Framework for Quantifying Usability Metrics in Software Quality Models.

Ahmed Seffah, Nihal Kececi, Mohammad Donyaee

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001