Michael W Whalen

View Scopus Profile

Michael W Whalen

PhD

Accepting PhD Students

PhD projects

AMASE: Model based safety analysis
ARCHER: Compositional verification of systems-of-systems
SNOW CRASH: White box fuzz testing

19982018

Research activity per year

Fingerprint

Dive into the research topics where Michael W Whalen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science

Your message has successfully been sent.
Your message was not sent due to an error.