Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Current
Archives
Author Templates
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Accessiblity Statement
Contact
Search
Register
Login
Home
/
Archives
/
Vol. 62 (2013): Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner
Vol. 62 (2013): Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner
DOI:
https://doi.org/10.14279/tuj.eceasst.62
Published:
2013-10-22
Articles
(A) Vision for 2050 - Context-Based Image Understanding for a Human-Robot Soccer Match
Udo Frese, Tim Laue, Oliver Birbach, Thomas Röfer
PDF
The VSE Refinement Method in Hets
Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein
PDF
Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis
Daniel Grosse, Goerschwin Fey, Rolf Drechsler
PDF
Graph Tuple Transformation
Hans-Jörg Kreowski, Sabine Kuske
PDF
Spreadsheets with a Semantic Layer
Andrea Kohlhase, Michael Kohlhase
PDF
On the whereabouts of CSP-CASL – A survey
Andy Gimblett, Temesghen Kahsai, Liam O'Reilly, Markus Roggenbach
PDF
Preface
Preface
Till Mossakowski, Markus Roggenbach, Lutz Schröder
PDF
Information
For Readers
For Authors
For Librarians