no help available
no help available
userThe blue social bookmark and publication sharing system.
actions for all displayed bookmarks:
export:
sort:
- criterion: date, title
- order: ascending, descending
others:
- display: all, bookmarks only
- bookmarks per page: 5 10 20 50 100
bookmarks
actions for all displayed publications:
export:
sort:
- criterion: date, title
- order: ascending, descending
- advanced...
others:
- display: all, publications only
- publications per page: 5 10 20 50 100
publications (23)
- discussion
- concepts
- similar users more...
- tags
- fault
- reliability
- testing
- faulttolerance
- specification
- fault-tolerance
- software
- combinatorial
- informatik
- component
- interactive
- systems
- corrector
- justifications
- derivation
- lebensqualität
- thermodynamic
- detector
- metric
- tolerance
- web
- development
- models
- edv
- multifunctional
- electronicgovernment
- ontology
- engineering
- principal
- rechts
- requirements
- based
- focus
- resource
- behaviour
- formal
- revisited
- challenges
- formalisms
- closure
- formulas
- sparse
- No matching items.
- Sergei Artemov. Studia Logica (2002)Sergei Artemov. Studia Logica (2002)a year and 2 months agoby maxj2
- Simon Kramer. (2012)cite arxiv:1201.3667.Simon Kramer. (2012)cite arxiv:1201.3667.a year and 2 months agoby maxj2
- D. J. A. Jubb, and R. W. Missen. The Canadian Journal of Chemical Engineering 67(4):658--664 (1989)D. J. A. Jubb, and R. W. Missen. The Canadian Journal of Chemical Engineering 67(4):658--664 (1989)a year and 2 months agoby maxj2
- James C. M. Li. The Journal of Chemical Physics 26(4):909-913 (1957)James C. M. Li. The Journal of Chemical Physics 26(4):909-913 (1957)a year and 2 months agoby maxj2
- H. Zou, T. Hastie, and R. Tibshirani. Journal of Computational and Graphical Statistics (2006)H. Zou, T. Hastie, and R. Tibshirani. Journal of Computational and Graphical Statistics (2006)a year and 2 months agoby maxj3
- Jochen Schneider. Schmidt, Köln, 4., vollst. überarb. Aufl. edition, (2009)Jochen Schneider. Schmidt, Köln, 4., vollst. überarb. Aufl. edition, (2009)a year and 2 months agoby maxj2
- Daniel Roleff. Aus Politik und Zeitgeschichte (2012)Daniel Roleff. Aus Politik und Zeitgeschichte (2012)a year and 2 months agoby maxj2
- Manfred Broy. SPLC, page 3-7. IEEE, (2011)Manfred Broy. SPLC, page 3-7. IEEE, (2011)a year and 2 months agoby maxj3
- Manfred Broy, and Thomas Streicher. International Journal of Parallel Programming 20(1):1-22 (1991)Manfred Broy, and Thomas Streicher. International Journal of Parallel Programming 20(1):1-22 (1991)a year and 2 months agoby maxj2
- Manfred Broy. IEEE Trans. Software Eng. 27(1):42-57 (2001)Manfred Broy. IEEE Trans. Software Eng. 27(1):42-57 (2001)a year and 2 months agoby maxj2
- Manfred Broy, and Albert Endres. Informatik Spektrum 35(1):34-38 (2012)Manfred Broy, and Albert Endres. Informatik Spektrum 35(1):34-38 (2012)a year and 2 months agoby maxj2
- Radu Grosu, Gheorghe Stefanescu, and Manfred Broy. ACSD, page 41-51. IEEE Computer Society, (1998)Radu Grosu, Gheorghe Stefanescu, and Manfred Broy. ACSD, page 41-51. IEEE Computer Society, (1998)a year and 2 months agoby maxj3
- Manfred Broy, Anton Deimel, Juergen Henn, Kai Koskimies, Frantisek Plasil, Gustav Pomberger, Wolfgang Pree, Michael Stal, and Clemens A. Szyperski. Software - Concepts and Tools 19(1):49-56 (1998)Manfred Broy, Anton Deimel, Juergen Henn, Kai Koskimies, Frantisek Plasil, Gustav Pomberger, Wolfgang Pree, Michael Stal, and Clemens A. Szyperski. Software - Concepts and Tools 19(1):49-56 (1998)a year and 2 months agoby maxj3
- Manfred Broy, and Ketil Stølen. Springer, (2001)Manfred Broy, and Ketil Stølen. Springer, (2001)a year and 2 months agoby maxj4
- Manfred Broy. Science of Computer Programming (2010)Manfred Broy. Science of Computer Programming (2010)a year and 2 months agoby maxj4
- Manfred Broy, Ingolf H. Krüger, and Michael Meisinger. ACM Trans. Softw. Eng. Methodol. (2007)Manfred Broy, Ingolf H. Krüger, and Michael Meisinger. ACM Trans. Softw. Eng. Methodol. (2007)a year and 2 months agoby maxj2
- Manfred Broy. Advances in Real-Time Systems, page 3-25. Springer, (2012)Manfred Broy. Advances in Real-Time Systems, page 3-25. Springer, (2012)a year and 2 months agoby maxj2
- Bin Hao, Arunabha Sen, and Bao Hong Shen. SenSys, page 289-290. ACM, (2004)Bin Hao, Arunabha Sen, and Bao Hong Shen. SenSys, page 289-290. ACM, (2004)a year and 3 months agoby maxj2
- Borzoo Bonakdarpour, Sandeep S. Kulkarni, and Anish Arora. EMSOFT, page 169-178. ACM, (2008)Borzoo Bonakdarpour, Sandeep S. Kulkarni, and Anish Arora. EMSOFT, page 169-178. ACM, (2008)a year and 3 months agoby maxj2