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






Professorship/Faculty: Foundations of Computer Science  
Author(s): von Hanxleden, Reinhard; Duderstadt, Björn; Motika, Christian; Smyth, Steven; Mendler, Michael ; Aguado, Joaquin ; Mercer, Stephen; O'Brien, Owen
Title of the compilation: PLDI '14: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
Corporate Body: PLDI'14
Publisher Information: New York, NY, USA : ACM
Year of publication: 2014
Pages: 372-383
ISBN: 978-1-4503-2784-8
Language(s): English
DOI: 10.1145/2594291.2594310
URL: http://dl.acm.org/citation.cfm?id=2594291.25943...
Document Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/21163
Year of publication: 2. December 2014