Keyword:Model Based Systems Engineering

Publications
More Automated Formal Methods?! If so, why, where & how? Arun Chakrapani Rao In:Automated Formal Methods