Space Tools
search
attachments
weblink
advanced
Overview
Content Tools
Name | Size | Creator | Creation Date | Last Modification Date | Labels | Attached To |
---|---|---|---|---|---|---|
image2012-6-30 11:44:39.png | 14 kB | Unknown User (alb) | Jun 30, 2012 11:44 | Jun 30, 2012 11:44 | The KRendering Notation Model | |
uml-sim2.jpg | 14 kB | Unknown User (cmot) | Apr 10, 2012 14:06 | Apr 10, 2012 14:06 | UML State Machine Simulation/Model Checking with Maude | |
branches.png | 13 kB | Unknown User (tig) | Aug 16, 2012 14:09 | Aug 16, 2012 14:09 | Source Code Management | |
branches.png | 13 kB | Unknown User (tig) | Aug 16, 2012 14:22 | Aug 16, 2012 14:34 | Development in branches | |
image2012-6-30 11:42:26.png | 13 kB | Unknown User (alb) | Jun 30, 2012 11:42 | Jun 30, 2012 11:42 | The KRendering Notation Model | |
04superstate.png | 13 kB | Unknown User (cmot) | Jun 28, 2014 13:08 | Jun 28, 2014 13:08 | Textual SCCharts Language SCT | |
tuples2.png | 13 kB | Steven Smyth | Aug 09, 2017 12:29 | Aug 09, 2017 12:29 | Syntax | |
13countdelay.png | 13 kB | Unknown User (cmot) | Jun 28, 2014 13:14 | Jun 28, 2014 13:14 | Textual SCCharts Language SCT | |
03triggereffect.png | 13 kB | Unknown User (cmot) | Jun 28, 2014 13:07 | Jun 28, 2014 13:07 | Textual SCCharts Language SCT | |
abo_ex_trace.JPG | 13 kB | Unknown User (gjo) | May 07, 2013 16:17 | May 07, 2013 16:17 | Hardware Synthesis from SCCharts | |
image2012-10-12 10:51:52.png | 12 kB | Unknown User (wah) | Oct 12, 2012 10:51 | Oct 12, 2012 10:51 | SCCharts-Editor based on Yakindu | |
image2012-10-12 10:49:16.png | 12 kB | Unknown User (wah) | Oct 12, 2012 10:49 | Oct 12, 2012 10:49 | SCCharts-Editor based on Yakindu | |
image2012-10-12 10:48:53.png | 12 kB | Unknown User (wah) | Oct 12, 2012 10:48 | Oct 12, 2012 10:48 | SCCharts-Editor based on Yakindu | |
ABO-ssa_localMux.c | 12 kB | Unknown User (gjo) | May 23, 2013 11:30 | May 23, 2013 11:34 | Handmade ABO Implementations | |
kieler_project_chart.svg | 12 kB | Unknown User (cds) | Aug 02, 2016 13:58 | Aug 02, 2016 13:58 | Overview | |
northsouth.png | 12 kB | Unknown User (cds) | Aug 08, 2013 11:32 | Aug 08, 2013 11:32 | KIELER Pragmatics Release 0.9.1 | |
KielerCompiler.jar | 12 kB | Unknown User (cmot) | Jul 16, 2014 13:15 | Jul 16, 2014 13:15 | KIELER Command Line Compiler | |
template_file_structure.png | 12 kB | Andreas Stange | Aug 23, 2015 20:11 | Aug 23, 2015 20:11 | Project Creation, Initialization and Launch (Prom) | |
template_file_structure.png | 12 kB | Andreas Stange | Aug 02, 2017 20:04 | Aug 02, 2017 20:04 | Project Management (Prom) | |
KLighD.jar | 12 kB | Unknown User (cmot) | Jan 14, 2015 11:23 | Jan 14, 2015 11:23 | Command Line Rendering |