Introduction to the special section on rigorous embedded systems design

Thumbnail
Metadata only
Author
Sifakis, Joseph
Thiele, Lothar
Wilhelm, Reinhard
Date
2013-03
Type
    Journal Article
Publication status
published
External links
Journal / series
ACM Transactions on Embedded Computing Systems
Volume
12(1s)
Pages / Article No.
41
Publisher
Association for Computing Machinery
More
Show all metadata
ETH Bibliography
yes
Altmetrics