Soft component automata: Composition, compilation, logic, and verification

Document Details

Document Type
Pub Defense Publication
Publication Date
Sep 01, 2019
Source ID
10.1016/j.scico.2019.08.001

Entities

People

  • Benjamin Lion
  • Carolyn Talcott
  • Farhad Arbab
  • Tobias KappĂ©

Organizations

  • European Research Council
  • Office of Naval Research