R(Company · founded 1922Raytheon Technologies (Italy)Rome, Italy · rtx.comPart of RTX (United States)FollowManage this pageCitations, last 5 years11Works, last 5 years2h-index10Scientists listed0Grants since 20160OverviewPeople 0Grants 0Departments 0Strongest research topicsFormal Methods in Verification10Computer ScienceLogic, programming, and type systems4Computer ScienceModel-Driven Software Engineering Techniques4Computer ScienceAdvanced Software Engineering Methodologies3Computer ScienceSoftware Testing and Debugging Techniques3Computer ScienceEmbedded Systems Design Techniques3Computer Science