Concepedia

Author

Khalid Siddiqui

Carleton University

Also Known As

Khalid Siddiqui

2

Publications

21

Citations

1

H-Index

14

Concepts

All Affiliations

Carleton University
KS

About

Khalid Siddiqui is an author at Carleton University specializing in formal verification, system software, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

21

2

Computer Science

1

1

21

3

Systems Engineering

1

1

21

4

Software Analysis

1

1

21

5

Software Engineering

1

1

21

Khalid Siddiqui

×

1

Publications

21

Citations

1

H-Index

YearCitations

Page 1