Concepedia
Statistics
Publications
1
Citations
16
H-Index
Active since
1995
Ardis is an author specializing in specification checking, state-based specification, and specification languages.
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