*banner
 

Specification Mining for Cyberphysical Systems
Alexandre Donze, Sanjit Seshia

Citation
Alexandre Donze, Sanjit Seshia. "Specification Mining for Cyberphysical Systems". Talk or presentation, 20, February, 2013; Presented at the CHESS IHI Visit, Berkeley.

Abstract
(No abstract.)

Electronic downloads

Citation formats  
  • HTML 
    Alexandre Donze, Sanjit Seshia. <a
href="http://chess.eecs.berkeley.edu/pubs/969.html"
><i>Specification Mining for Cyberphysical
Systems</i></a>, Talk or presentation,  20,
February, 2013; Presented at the CHESS IHI Visit, Berkeley.
  • Plain text 
    Alexandre Donze, Sanjit Seshia. "Specification Mining
for Cyberphysical Systems". Talk or presentation,  20,
February, 2013; Presented at the CHESS IHI Visit, Berkeley.
  • BibTeX 
    @presentation{DonzeSeshia13_SpecificationMiningForCyberphysicalSystems,
    author = {Alexandre Donze and Sanjit Seshia},
    title = {Specification Mining for Cyberphysical Systems},
    day = {20},
    month = {February},
    year = {2013},
    note = {Presented at the CHESS IHI Visit, Berkeley.},
    abstract = {(No abstract.)},
    URL = {http://chess.eecs.berkeley.edu/pubs/969.html}
}

Posted by Mary Stewart on 21 Feb 2013.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.
©2002-2018 Chess