2008 | ||
---|---|---|
2 | EE | Uwe Proß, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel: A Platform for Requirement Based Formal Specification. FDL 2008: 237-238 |
1 | EE | Erik Markert, Uwe Proß, Ulrich Heinkel: SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems. FDL 2008: 243-244 |
1 | Chris Drechsler | [2] |
2 | Ulrich Heinkel | [1] [2] |
3 | Jan Langer | [2] |
4 | Erik Markert | [1] [2] |
5 | Andreas Richter | [2] |