<
From version < 19.1 >
edited by ssm
on 2018/04/17 10:05
To version < 20.1 >
edited by ssm
on 2018/04/19 08:21
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -41,7 +41,7 @@
41 41  1. (% style="color: rgb(0,0,0);" %)Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli, "Modeling Cyber-Physical Systems", Proceedings of the IEEE (special issue on CPS)/, 100(1):13-28, January 2012, (%%)[[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5995279||shape="rect"]]
42 42  1. (% style="color: rgb(0,0,0);" %)Björn Döbel, Hermann Härtig, "Can We Put Concurrency Back Into Redundant Multithreading?", EMSOFT 2014, (%%)[[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986127||shape="rect" class="external-link"]]
43 43  1. (% style="color: rgb(0,0,0);" %)Ahmed Alhammad, Rodolfo Pellizzoni, "Schedulability Analysis of Global Memory-predictable Scheduling", EMSOFT 2014, (%%)[[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986128||shape="rect" class="external-link"]]
44 -1. Biswajit Mazumder, JAson O. Hallstrom, "A Fast, Lightweight, and Reliable File System for Wireless Sensor Networks", EMSOFT 2016, [[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7743241||shape="rect"]]
44 +1. **Aleksandar Markovic:** Biswajit Mazumder, Jason O. Hallstrom, "A Fast, Lightweight, and Reliable File System for Wireless Sensor Networks", EMSOFT 2016, [[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7743241||shape="rect"]]
45 45  1. A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "Semantics Driven Hardware Design, Implementation, and Verification with ReWire", LCTES 2015, [[PDF hier>>url:https://dl.acm.org/citation.cfm?id=2754970||shape="rect"]]
46 46  1. Yixiao Lin, Sayan Mitro, "StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems", LCTES 2015, [[PDF hier>>url:https://dl.acm.org/citation.cfm?id=2754966||shape="rect"]]
47 47  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -42729488
1 +42729515
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/42729488/SS18 (Echtzeitsysteme und eingebettete Systeme)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/42729515/SS18 (Echtzeitsysteme und eingebettete Systeme)