Author:
Waez Md Tawhid Bin,Wąsowski Andrzej,Dingel Juergen,Rudie Karen
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Lecture Notes in Computer Science;O. Maler,1995
2. Lecture Notes in Computer Science;L. Alfaro de,2002
3. Lecture Notes in Computer Science;L. Alfaro de,2003
4. David, A., Larsen, K.G., Legay, A., Nyman, U., Wąsowski, A.: Timed I/O automata: A complete specification theory for real-time systems. In: HSCC (2010)
5. Waez, M.T.B., Wąsowski, A., Dingel, J., Rudie, K.: Synthesis of a reconfiguration service for mixed-criticality multi-core system: An experience report. In: FACS (to appear, 2014)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献