A paper by Columbus State University computer science professor Hoda Mehrpouyan titled “Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning” was recently accepted for publication by Systems Engineering, a Thu, 24 Mar 2016 15:40:51 -0800 kudos