Space Tools
search
attachments
weblink
advanced
Overview
Content Tools
Name | Size | Creator | Creation Date | Last Modification Date | Labels | Attached To |
---|---|---|---|---|---|---|
separators.png | 26 kB | Unknown User (cds) | May 26, 2014 12:49 | May 26, 2014 13:02 | KIELER Pragmatics Release 2014/05 | |
sequential-causality3.png | 101 kB | Unknown User (cmot) | Feb 10, 2014 18:10 | Feb 10, 2014 18:10 | SCCharts (pre 1.0) | |
ServiceData.png | 88 kB | Michel Spils | Apr 23, 2012 13:47 | Apr 23, 2012 13:55 | The API of KWebS | |
ServiceData.png | 88 kB | Unknown User (uru) | Jan 23, 2014 00:39 | Jan 23, 2014 00:39 | HTTP-based Service | |
setup_tasks.png | 63 kB | Alexander Schulz-Rosengarten | Nov 04, 2016 13:35 | Nov 04, 2016 13:35 | Semantics Target Platform | |
sgraph.pdf | 217 kB | Unknown User (wah) | Dec 04, 2012 11:26 | Dec 04, 2012 11:26 | SCCharts-Editor based on Yakindu | |
shifter.png | 20 kB | Unknown User (cmot) | Mar 13, 2014 13:50 | Mar 13, 2014 13:50 | PLDI'14 Artifact on SCCharts | |
shifter3.png | 20 kB | Unknown User (cmot) | Mar 13, 2014 13:51 | Mar 13, 2014 13:51 | PLDI'14 Artifact on SCCharts | |
SignalsView.png | 7 kB | Unknown User (cmot) | Jun 11, 2012 23:56 | Jun 11, 2012 23:56 | Regression Testing (JUnit & KART) | |
simple1.png | 6 kB | Steven Smyth | Aug 09, 2017 13:39 | Aug 09, 2017 13:39 | Syntax | |
simple3.png | 6 kB | Steven Smyth | Aug 09, 2017 13:41 | Aug 09, 2017 13:41 | Syntax | |
simple_times.png | 41 kB | Alexander Schulz-Rosengarten | Feb 28, 2020 12:42 | Feb 28, 2020 12:42 | Timed Automata | |
simple_transition.png | 31 kB | Alexander Schulz-Rosengarten | Aug 11, 2021 16:11 | Aug 11, 2021 16:11 | Syntax | |
slides.pdf | 677 kB | Christian Schneider | May 21, 2015 13:46 | May 21, 2015 13:46 | Lightweight Diagrams (KLighD) | |
splash.png | 144 kB | Unknown User (cds) | Jun 25, 2014 11:11 | Jun 25, 2014 11:11 | Downloads | |
splash.png | 466 kB | Alexander Schulz-Rosengarten | Dec 12, 2018 14:13 | Dec 12, 2018 14:13 | Quick Start Guide | |
splines.png | 26 kB | Niklas Rentz | Apr 07, 2020 09:39 | Apr 23, 2020 10:21 | KIELER Pragmatics Release 2020/03 | |
splines.png | 26 kB | Niklas Rentz | Sep 30, 2020 14:12 | Sep 30, 2020 14:28 | KIELER Pragmatics Release 2020/09 | |
splines.png | 26 kB | Unknown User (cds) | Feb 25, 2015 22:26 | Feb 25, 2015 22:26 | KIELER Pragmatics Release 2015/02 | |
splines.png | 26 kB | Unknown User (cds) | Jun 24, 2015 17:09 | Jun 24, 2015 17:13 | KIELER Pragmatics Release 2015/06 |