dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Nihal Kececi Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2002
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Nihal Kececi, Grace Tsai: Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems. DIPES 2002: 153-162
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNihal 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Seffah, Nihal Kececi, Mohammad Donyaee: QUIM: A Framework for Quantifying Usability Metrics in Software Quality Models. APAQS 2001: 311-318

Coauthor Index

1Alain Abran [2]
2Mohammad Donyaee [1]
3Wolfgang A. Halang [2] [3]
4Ahmed Seffah [1]
5Grace Tsai [3]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page