IDAS: Intent-Defined Adaptive Software ARCOS: Automated Rapid Certification of Software Download pdf Presented as part of the 2020 HCSS conference. Tags: HCSS Conference 2020 Presentation HCSS 2020 License: CC-2.5 Submitted by Anonymous on Mon, 09/14/2020 - 10:03
