Space Tools
search
attachments
weblink
advanced
Overview
Content Tools
Name | Size | Creator | Creation Date | Last Modification Date | Labels | Attached To |
---|---|---|---|---|---|---|
inheritance.png | 88 kB | Alexander Schulz-Rosengarten | Dec 05, 2018 13:15 | Dec 05, 2018 13:15 | Syntax | |
klepto-problems.jpg | 88 kB | Unknown User (cmot) | Apr 10, 2012 13:58 | Apr 10, 2012 13:58 | Leveraging Ptolemy Semantics (KlePto) | |
kieler14.png | 87 kB | Unknown User (cmot) | Feb 10, 2014 21:01 | Feb 10, 2014 21:01 | PLDI'14 Artifact on SCCharts | |
gridplacement.png | 86 kB | Unknown User (alb) | Jun 30, 2012 11:54 | Jun 30, 2012 11:54 | The KRendering Notation Model | |
03-abro.scc.jpeg | 85 kB | Unknown User (cmot) | Jun 10, 2013 14:02 | Jun 10, 2013 14:02 | Yakindu SCCharts / Synccharts Examples | |
uml-install4.jpg | 85 kB | Unknown User (cmot) | Apr 10, 2012 14:06 | Apr 10, 2012 14:06 | UML State Machine Simulation/Model Checking with Maude | |
two-controlled-counting-counter.png | 84 kB | Alexander Schulz-Rosengarten | Mar 04, 2020 13:51 | Mar 04, 2020 13:51 | Object Orientation | |
oomph_product.png | 84 kB | Alexander Schulz-Rosengarten | Aug 24, 2021 09:50 | Aug 24, 2021 09:50 | Getting Eclipse | |
kieler20.png | 84 kB | Unknown User (cmot) | Feb 10, 2014 21:21 | Feb 10, 2014 21:21 | PLDI'14 Artifact on SCCharts | |
tree-graph.png | 83 kB | Michel Spils | Aug 15, 2013 10:39 | Aug 15, 2013 10:41 | KLay Mr. Tree | |
KLighD-MenuEntry.png | 83 kB | Christian Schneider | Dec 19, 2013 15:06 | Dec 19, 2013 15:06 | KIELER Pragmatics Release 0.11.0 | |
KLighD-MenuEntry.png | 83 kB | Unknown User (cds) | May 26, 2014 12:49 | May 26, 2014 13:02 | KIELER Pragmatics Release 2014/05 | |
cabin.png | 83 kB | Unknown User (cmot) | Mar 13, 2014 13:50 | Mar 13, 2014 13:50 | PLDI'14 Artifact on SCCharts | |
thinkcharts-graphics.png | 83 kB | Unknown User (cmot) | Oct 02, 2012 12:35 | Oct 02, 2012 12:35 | ThinKCharts User Guide | |
kgraph.png | 82 kB | Michel Spils | Apr 18, 2012 14:59 | Apr 18, 2012 15:12 | KGraph Meta Model | |
kieler18.png | 82 kB | Unknown User (cmot) | Feb 10, 2014 21:19 | Feb 10, 2014 21:19 | PLDI'14 Artifact on SCCharts | |
kieler11.png | 82 kB | Unknown User (cmot) | Feb 10, 2014 20:52 | Feb 10, 2014 20:52 | PLDI'14 Artifact on SCCharts | |
kico3.png | 81 kB | Unknown User (cmot) | Jun 28, 2014 11:47 | Jun 28, 2014 11:47 | Quick Start Guide (pre 0.13) | |
Screenshot_20170411_234454.png | 81 kB | Andreas Stange | Apr 11, 2017 23:45 | Apr 11, 2017 23:45 | Simulation Visualization using KEV | |
Screenshot_20160801_120238.png | 81 kB | Andreas Stange | Aug 01, 2016 12:09 | Aug 01, 2016 12:09 | Project Creation, Initialization and Launch (Prom) |