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
Full text via SFX
Journal / series
Acm Transactions on Embedded Computing Systems
Volume
12(1s)
Pages
41
Publisher
Association for Computing Machinery
Notes
.
More
Show all metadata
Altmetrics