Skip to Content
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 34.1
edited by cmot
on 2014/06/28 11:29
Change comment: There is no comment for this version
To version 30.1
edited by cmot
on 2014/03/12 14:03
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -12,8 +12,6 @@
12 12  
13 13  We will use a simple example here in order to illustrate the process. Please refer to the SCCharts superpage for the [[project status>>doc:SCCharts]] and [[known limitations>>doc:SCCharts]]. If you are interested in the source code you can find instruction how to download and compile it here: [[Getting Started>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/Getting+Started||shape="rect"]].
14 14  
15 -See a list of the evaluated examples at the end.
16 -
17 17  
18 18  
19 19  [1] PLDI submission: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~biblio/downloads/papers/pldi14-submitted.pdf>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/papers/pldi14-submitted.pdf||shape="rect"]]
... ... @@ -166,8 +166,6 @@
166 166  
167 167  
168 168  
169 -= 4. Evaluated Examples =
167 +
170 170  
171 -In the following, you find the examples used for evaluation. Be advised that there currently is no tool integrated evaluation possible. Please refer to the SCCharts superpage for the [[project status>>doc:SCCharts]] and [[known limitations>>doc:SCCharts]].
172 -
173 -Find the list of Examples used for evaluation [[here>>doc:Examples]].
169 +
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9471354
1 +9470038
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471354/PLDI'14 Artifact on SCCharts
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470038/PLDI'14 Artifact on SCCharts