Statistics
Publications
11
Citations
779
H-Index
11
Active since
1988
Affiliations
Dan Craigen is an author at Communications Security Establishment specializing in formal methods, computer science, and computing.
Publications per year
1988–2014
11
11
Dan Craigen, Nadia Diakun-Thibault, Randy Purse · Technology Innovation Management Review · 2014 · 287 citations · Full text
Experience with formal methods in critical systems
S. Gerhart, Dan Craigen, Ted Ralston · IEEE Software · 1994 · 125 citations
Dan Craigen, Nadia Diakun-Thibault, Randy Purse · Technology Innovation Management Review · 2014 · 125 citations · Full text
1–5 of 11