Concepedia
Statistics
Publications
1
Citations
16
H-Index
Active since
1995
Jagadeesan is an author specializing in formal methods, specification languages, and model checking.
Publications per year
1995–1995
A Framework for Evaluating Specification Methods for Reactive Systems
Ardis, Chaves, Jagadeesan et al. · International Conference on Software Engineering · 1995 · 16 citations
Engineering, Computer Science, Systems Engineering +14
1–1 of 1