Dr. Michael Jastram

Deploy Industry Interest Group now available

—

I am researching the 4-year Deploy EU Project on formal methods in systems engineering; commercial entities may participate in various ways.

I am currently performing research for the 4-year Deploy EU Project that focuses on formal methods in systems engineering.  Any commercial entities may participate in various ways.