Suchergebnisse: SCCharts

SCCharts - Language and Interactive Incremental Compilation

Motika, Christian 2017 Universitätsbibliothek Kiel

SCCharts - Language and Interactive Incremental Compilation

Motika, Christian 2017 Universitätsbibliothek Kiel

A Case-Study on Manual Verification of State-based Source Code Generated by KIELER SCCharts

Smyth, Steven ; Domrös, Sören ; Hanxleden, Reinhard von 2019 Universitätsbibliothek Kiel

SCCharts - Language and Interactive Incremental Compilation

Motika, Christian 2018 Books on Demand

SCCharts - Language and Interactive Incremental Compilation

Motika, Christian 2017 Books on Demand

SCCharts : The Mindstorms Report

Smyth, Steven ; Motika, Christian ; Schulz-Rosengarten, Alexander ; Domrös, Sören ; Grimm, Lena ; Stange, Andreas ; Hanxleden, Reinhard von 2019 Universitätsbibliothek Kiel

Interactive Model-Based Compilation – A Modeller-Driven Development Approach

Smyth, Steven Patrick ; Hanxleden, Reinhard von ; Steffen, Bernhard 2021 Universitätsbibliothek Kiel

Language Design for Reactive Systems – On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts

Schulz-Rosengarten, Alexander ; Hanxleden, Reinhard von ; Lee, Edward A. ; Mendler, Michael 2024 Universitätsbibliothek Kiel

Using SCCharts models in Simulink to model an electronic control unit

Santarossa, Monty ; Smyth, Steven ; Schulz-Rosengarten, Alexander ; Hanxleden, Reinhard von 2019 Universitätsbibliothek Kiel

Time in SCCharts.

Schulz-Rosengarten, Alexander ; Hanxleden, Reinhard von ; Mallet, Frédéric ; De Simone, Robert ; Deantoni, Julien 2018 Universitätsbibliothek Kiel

SCCharts: The Railway Project Report

Smyth, Steven ; Motika, Christian ; Schulz-Rosengarten, Alexander ; Wechselberg, Nis Börge ; Sprung, Carsten ; Hanxleden, Reinhard von 2015 Universitätsbibliothek Kiel

SCCharts: sequentially constructive statecharts for safety-critical applications

Hanxleden von, Reinhard 2014 Institut für Informatik, Christian-Albrechts-Universität zu Kiel