Visible to the public IDAS: Intent-Defined Adaptive Software ARCOS: Automated Rapid Certification of Software

Submitted by raze on Mon, 09/14/2020 - 11:03am. Contributor:

Presented as part of the 2020 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

IDAS: Intent-Defined Adaptive Software ARCOS: Automated Rapid Certification of Software
Switch to experimental viewer