Concepedia

William Innanen

WI

1

Publications

14

Citations

1

H-Index

2007

Active since

Affiliations

Johns Hopkins University(Current)

William Innanen is an author at Johns Hopkins University specializing in formal specification, formal methods, and system software.

Top concepts

Publications per year

2007–2007

1

Publications

1

Uploadable Executable Specification Concept for Spacecraft Autonomy Systems

George Cancro, William Innanen, Russell Turner et al. · 2007 · 14 citations

, , +21

Rows per page

1–1 of 1