A Satisfiability Approach to Speed Assignment for Distributed Real-Time Systems


METADATA ONLY
Loading...

Date

2013

Publication Type

Conference Paper

ETH Bibliography

yes

Citations

Altmetric
METADATA ONLY

Data

Rights / License

Publication status

published

Editor

Book title

Design, Automation & Test in Europe Conference & Exhibition (DATE 2013)

Journal / series

Volume

Pages / Article No.

749 - 754

Publisher

IEEE

Event

16th Design, Automation & Test in Europe Conference & Exhibition (DATE 2013)

Edition / version

Methods

Software

Geographic location

Date collected

Date created

Subject

Organisational unit

03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus) check_circle

Notes

Funding

Related publications and datasets