Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner

DOI: http://dx.doi.org/10.14279/tuj.eceasst.62

Table of Contents

Preface

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

Articles

On the whereabouts of CSP-CASL – A survey
Andy Gimblett, Temesghen Kahsai, Liam O'Reilly, Markus Roggenbach
PDF
Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis
Daniel Grosse, Goerschwin Fey, Rolf Drechsler
PDF
Spreadsheets with a Semantic Layer
Andrea Kohlhase, Michael Kohlhase
PDF
The VSE Refinement Method in Hets
Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein
PDF
Graph Tuple Transformation
Hans-Jörg Kreowski, Sabine Kuske
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