Efficient Model-Checking for Real-Time Task Networks - 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
Efficient Model-Checking for Real-Time Task Networks

Efficient Model-Checking for Real-Time Task Networks

Export

All authors

Dierks, H., Metzner, A., Stierand, I.

Publishing date

05 / 2009

Type of Publication

inproceedings

Projects

COMBEST
Component-based Embedded Systems Design Techniques

Privacy Data Transparency Contact Legals