Toward multi-task support and security analyses in PLC program translation for verification

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 16, 2019
Source ID
10.1145/3302509.3313335

Entities

People

  • AndrĂ© Platzer
  • Luis Garcia
  • Stefan Mitsch

Organizations

  • Air Force Office of Scientific Research
  • Carnegie Mellon University
  • Defense Advanced Research Projects Agency
  • United States Department of Health, Education, and Welfare
  • University of California
  • Wind Energy Technologies Office