Space Tools
search
attachments
weblink
advanced
Overview
Content Tools
Name | Size | Creator | Creation Date | Last Modification Date | Labels | Attached To |
---|---|---|---|---|---|---|
security2.png | 115 kB | Unknown User (cds) | Dec 16, 2014 11:12 | Dec 16, 2014 11:15 | KIELER Pragmatics Release 2014/12 | |
security2.png | 115 kB | Unknown User (cds) | Feb 03, 2015 15:42 | Feb 03, 2015 15:45 | KIELER Pragmatics Release 2015/02 | |
security2.png | 115 kB | Unknown User (cds) | Jun 24, 2015 17:09 | Jun 24, 2015 17:13 | KIELER Pragmatics Release 2015/06 | |
security2.png | 115 kB | Unknown User (cds) | Feb 16, 2016 12:04 | Feb 16, 2016 12:32 | KIELER Pragmatics Release 2016/02 | |
security2.png | 115 kB | Unknown User (arl) | Jul 14, 2016 16:40 | Jul 14, 2016 16:40 | KIELER Pragmatics Release 2016/07 | |
security2.png | 115 kB | Unknown User (arl) | Feb 21, 2017 15:46 | Feb 21, 2017 15:49 | KIELER Pragmatics Release 2017/02 | |
security2.png | 115 kB | Niklas Rentz | Apr 07, 2020 09:39 | Apr 23, 2020 10:21 | KIELER Pragmatics Release 2020/03 | |
krenderingCore.pdf | 113 kB | Christian Schneider | Apr 26, 2012 15:27 | Apr 26, 2012 15:41 | The KRendering Notation Model | |
plugintest4.png | 112 kB | Alan Schelten | Apr 12, 2015 12:36 | Apr 12, 2015 12:36 | Testing | |
image2012-10-18 16:8:55.png | 111 kB | Unknown User (wah) | Oct 18, 2012 16:09 | Oct 18, 2012 16:09 | How to modify Initial and Final States in Yakindu SCT Editor | |
controlled-counting-counter.png | 108 kB | Alexander Schulz-Rosengarten | Mar 04, 2020 13:51 | Mar 04, 2020 13:51 | Object Orientation | |
oomph_sshkeys.png | 107 kB | Unknown User (cds) | Feb 01, 2016 15:38 | Feb 01, 2016 15:38 | Getting Eclipse | |
02-dvdplayer.kixs.jpeg | 107 kB | Unknown User (cmot) | Jun 10, 2013 14:02 | Jun 10, 2013 14:02 | Yakindu SCCharts / Synccharts Examples | |
keith-diagram-option-widget.png | 105 kB | Soeren Domroes | Sep 04, 2019 11:40 | Sep 04, 2019 11:40 | KEITH | |
kieler-sccharts-editor.png | 105 kB | Unknown User (cmot) | Jun 28, 2014 12:24 | Jun 28, 2014 12:24 | Downloads - KIELER SCCharts Product | |
kieler-sccharts-editor.png | 105 kB | Alexander Schulz-Rosengarten | Oct 25, 2019 13:10 | Oct 25, 2019 13:14 | Downloads - KIELER Compiler Command-Line Interface | |
uml6.jpg | 104 kB | Unknown User (cmot) | Apr 10, 2012 14:06 | Apr 10, 2012 14:06 | UML State Machine Simulation/Model Checking with Maude | |
kieler23.png | 103 kB | Unknown User (cmot) | Feb 10, 2014 21:26 | Feb 10, 2014 21:26 | PLDI'14 Artifact on SCCharts | |
kieler13.png | 103 kB | Unknown User (cmot) | Feb 10, 2014 20:59 | Feb 10, 2014 20:59 | PLDI'14 Artifact on SCCharts | |
SCL_sccharts_overview.png | 103 kB | Steven Smyth | May 03, 2013 14:19 | May 03, 2013 14:39 | SCCharts (pre 1.0) |