Paolo Manuel Masci


AuthID: R-00G-VYY

Publications Requiring Validation

21
TITLE: Logic-Based Formalization of System Requirements for Integrated Clinical Environments
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci;
PUBLISHED: 2019, SOURCE: Automated Reasoning for Systems Biology and Medicine, VOLUME: 30
INDEXED IN: DBLP
IN MY: DBLP
22
TITLE: Experiences with Streamlining Formal Methods Tools
AUTHORS: Paolo Masci;
PUBLISHED: 2019, SOURCE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, VOLUME: 12232
INDEXED IN: DBLP
IN MY: DBLP
Page 3 of 3. Total results: 22.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service