Model Checking Amalthea with Spin - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
Model Checking Amalthea with Spin

Model Checking Amalthea with Spin

Export

All authors

Jan Steffen Becker

Booktitle

Software Engineering (Satellite Events)

Publishing date

2021

Type of Publication

inproceedings

Series

CEUR Workshop Proceedings

Projects

PANORAMA
Boosting Design Efficiency for Heterogeneous³ Systems

Url

http://ceur-ws.org/Vol-2814/paper-A3-1.pdf

Privacy Data Transparency Contact Legals