Skip to main content
Science of Security Virtual Organization

Header Menu

  • Research
    • Virtual Institutes
    • Lablets
    • Projects
    • Publications
  • HotSoS
  • Competitions
    • Cybersecurity Paper Competition
    • ISEF
  • Conferences
    • HCSS
    • HotSoS
    • C3E
Not a member? Forgot your password?

Hamburger Menu

  • Home
  • Projects
  • News
  • Events
High Confidence Software and Systems Conference
May 12-14, 2025 | Annapolis, Maryland

Register

  • Agenda
  • Venue
  • Call for Presentations
  • Past Events
  • Register

Breadcrumb

  • Home /
  • /
  • IDAS: Intent-Defined Adaptive Software ARCOS: Automated Rapid Certificat...

IDAS: Intent-Defined Adaptive Software ARCOS: Automated Rapid Certification of Software

Download

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
© 2025 Science of Security Virtual Organization

Footer

  • Terms
  • Follow Us on X