Nihal Kececi
According to our database1,
Nihal Kececi
authored at least 3 papers
between 2001 and 2002.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2002
A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002
Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002
2001
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001