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.
Deploy Industry Interest Group now available
—
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.