Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

10th Biennial Ptolemy Miniconference (PTCONF’13), Berkeley, CA, USA, November 2013.

Summary: Poster This poster describes Sequentially Constructive Charts (SCCharts), the visual language for specifying safety-critical reactive systems employed in the [PLDI’14] publication.

 

[SYNCHRON’13-1]

Compiling SCCharts (and other Sequentially Constructive Programs) to Hardware and Software.

...