skip to main content

Attention:

The NSF Public Access Repository (PAR) system and access will be unavailable from 11:00 PM ET on Friday, December 13 until 2:00 AM ET on Saturday, December 14 due to maintenance. We apologize for the inconvenience.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
Award ID(s):
1738103
PAR ID:
10188861
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
IEEE Transactions on Automatic Control
Volume:
65
Issue:
8
ISSN:
0018-9286
Page Range / eLocation ID:
3349 to 3364
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; ; ( , Southeastern Robert Noyce Conference)
    null (Ed.)
    This presentation poster summarizes the recruitment efforts, insights gained, and lessons learned through the VolsTeach for Appalachia project that focuses on recruiting and preparing community college students in becoming STEM teachers in East Tennessee. 
    more » « less
  2. ; ( , Journal of Construction Engineering and Management)
    null (Ed.)
  3. ; ; ; ( , Sustainable Earth Reviews)
  4. ( , Ecosystems)
  5. ; ; ; ; ; ( , ACM Conference on Datta and Application Security and Privacy (CODASPY) 2021)
    null (Ed.)
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email