SCCharts : Sequentially constructive statecharts for safety-critical applications ; HW/SW-Synthesis for a Conservative Extension of Synchronous Statecharts

von Hanxleden, ReinhardReinhardvon HanxledenDuderstadt, BjörnBjörnDuderstadtMotika, ChristianChristianMotikaSmyth, StevenStevenSmythMendler, MichaelMichaelMendlerAguado, JoaquinJoaquinAguadoMercer, StephenStephenMercerO'Brien, OwenOwenO'Brien2019-09-192014-12-022014978-1-4503-2784-8https://fis.uni-bamberg.de/handle/uniba/21163engSCCharts : Sequentially constructive statecharts for safety-critical applications ; HW/SW-Synthesis for a Conservative Extension of Synchronous Statechartsconferenceobject10.1145/2594291.2594310http://dl.acm.org/citation.cfm?id=2594291.2594310&coll=DL&dl=ACM&CFID=460177600&CFTOKEN=92722495