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 (749)
- browse
- statecharts as tag from all users
- related tags
- concepts
- 1980s ←
- 1990s ←
- 2000s ←
- to_download ←
- tags
- statecharts
- uml
- 2008
- refinement
- 2007
- 2006
- semantics
- \_pdf
- 2005
- 2004
- _hardcopy
- _to_download_springer
- model_checking
- 2003
- 2002
- _marcia
- _no_doi
- csp
- 2001
- model_transformation
- graph_transformation
- 2000
- refactoring
- tests
- alloy
- 2009
- 1999
- 1998
- \_hardcopy
- requirements
- z
- 1997
- verification
- aspects
- software_architecture
- _book
- formal
- agents
- _to_download
- 1995
- ocl
- b
- umlrt
- operational
- transformation
- 1996
- _folder_2
- tool
- bibtex-import
- writing
- No matching items.
- C. Denger, and M. Ciolkowski. page 316--323. (2003)C. Denger, and M. Ciolkowski. page 316--323. (2003)4 years and 3 months agoby leonardo1
- Marlon Dumas, Guido Governatori, Arthur, and Phillipa Oaks. Electronic Commerce Research and Applications 1(2):193--207 (2002)Marlon Dumas, Guido Governatori, Arthur, and Phillipa Oaks. Electronic Commerce Research and Applications 1(2):193--207 (2002)4 years and 3 months agoby leonardo1
- Harald Fecher, Marcel Kyas, and Jens Schönborn. 0507. Christian-Albrechts-Universität zu Kiel, (2005)Harald Fecher, Marcel Kyas, and Jens Schönborn. 0507. Christian-Albrechts-Universität zu Kiel, (2005)4 years and 3 months agoby leonardo1
- Egon Börger, Alessandra Cavarra, and Elvinia Riccobene. Information and Software Technology 46(5):287--292 (April 2004)Egon Börger, Alessandra Cavarra, and Elvinia Riccobene. Information and Software Technology 46(5):287--292 (April 2004)4 years and 3 months agoby leonardo1
- Vitus S. W. Lam, and J. Padget. page 137--144. (2003)Vitus S. W. Lam, and J. Padget. page 137--144. (2003)4 years and 3 months agoby leonardo1
- Angelo Furfaro, Libero Nigro, and Francesco Pupo. Real-Time Systems 32(1-2):105--123 (February 2006)Angelo Furfaro, Libero Nigro, and Francesco Pupo. Real-Time Systems 32(1-2):105--123 (February 2006)4 years and 3 months agoby leonardo1
- A. Girault, Bilung Lee, and E. A. Lee. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 18(6):742--760 (1999)A. Girault, Bilung Lee, and E. A. Lee. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 18(6):742--760 (1999)4 years and 3 months agoby leonardo1
- Leif Geiger, and Albert Zündorf. Electronic Notes in Theoretical Computer Science 127(1):37--49 (March 2005)Leif Geiger, and Albert Zündorf. Electronic Notes in Theoretical Computer Science 127(1):37--49 (March 2005)4 years and 3 months agoby leonardo1
- Dániel Varró, Gergely Varró, and András Pataricza. Science of Computer Programming 44(2):205--227 (August 2002)Dániel Varró, Gergely Varró, and András Pataricza. Science of Computer Programming 44(2):205--227 (August 2002)4 years and 3 months agoby leonardo1
- Hua Chu, Qingshan Li, Shenming Hu, and Ping Chen. (2006)Hua Chu, Qingshan Li, Shenming Hu, and Ping Chen. (2006)4 years and 3 months agoby leonardo1
- Michael von der Beeck. Software and Systems Modeling V1(2):130--141 (December 2002)Michael von der Beeck. Software and Systems Modeling V1(2):130--141 (December 2002)4 years and 3 months agoby leonardo1
- David Miranda, Marcela Genero, and Mario Piattini. page 101--108. (2005)David Miranda, Marcela Genero, and Mario Piattini. page 101--108. (2005)4 years and 3 months agoby leonardo1
- José, Marcela Genero, Esperanza M. Manso, and Mario Piattini. (2005)José, Marcela Genero, Esperanza M. Manso, and Mario Piattini. (2005)4 years and 3 months agoby leonardo1
- Andrea M. Schettini, Adriano Peron, and Simone Tini. (1996)Andrea M. Schettini, Adriano Peron, and Simone Tini. (1996)4 years and 3 months agoby leonardo1
- Alexander Pretschner, and Wolfgang Prenninger. (2005)Alexander Pretschner, and Wolfgang Prenninger. (2005)4 years and 3 months agoby leonardo1
- Hywel, R. J. Cunningham, and S. Paurobally. (2006)Hywel, R. J. Cunningham, and S. Paurobally. (2006)4 years and 3 months agoby leonardo1
- J. C. Bicarregui, Kevin Lano, and Tom Maibaum. (1997)J. C. Bicarregui, Kevin Lano, and Tom Maibaum. (1997)4 years and 3 months agoby leonardo1
- Steffen Helke, and Florian Kammüller. (2005)Steffen Helke, and Florian Kammüller. (2005)4 years and 3 months agoby leonardo1