Introducing Control States into Communication Based Specifications of Interactive Components.
Title | Introducing Control States into Communication Based Specifications of Interactive Components. |
Publication Type | Journal Article |
Year of Publication | 2004 |
Authors | Dosch, W, Stümpel, A |
Bibtex:
@article {611, title = {Introducing Control States into Communication Based Specifications of Interactive Components.}, year = {2004}, note = {In: H.R. Arabnia, H. Reza (eds.): Proceedings of the International Conference of Software Engineering Research and Practice (SERP{\textquoteright}04), Volume II. Las Vegas, Nevada, June 21-24, 2004. Athens, GA: CSREA Press 2004, 875-881 [ISBN 1-932415-29-7]}, author = {W. Dosch and A. St{\"u}mpel} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact