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

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
(A) Vision for 2050 - Context-Based Image Understanding for a Human-Robot Soccer Match

Udo Frese, Tim Laue, Oliver Birbach, Thomas Röfer
- PDF

Preface

Preface

Till Mossakowski, Markus Roggenbach, Lutz Schröder
- PDF