Introduction to the special section on rigorous embedded systems design
dc.contributor.author
Sifakis, Joseph
dc.contributor.author
Thiele, Lothar
dc.contributor.author
Wilhelm, Reinhard
dc.date.accessioned
2017-06-10T15:22:38Z
dc.date.available
2017-06-10T15:22:38Z
dc.date.issued
2013-03
dc.identifier.issn
1539-9087
dc.identifier.issn
1558-3465
dc.identifier.other
10.1145/2435227.2435237
dc.identifier.uri
http://hdl.handle.net/20.500.11850/65132
dc.language.iso
en
dc.publisher
Association for Computing Machinery
dc.title
Introduction to the special section on rigorous embedded systems design
dc.type
Journal Article
ethz.journal.title
ACM Transactions on Embedded Computing Systems
ethz.journal.volume
12
ethz.journal.issue
1s
ethz.journal.abbreviated
ACM trans. embed. comput. syst.
ethz.pages.start
41
ethz.size
2 p.
ethz.identifier.wos
ethz.identifier.nebis
004461553
ethz.publication.place
New York
ethz.publication.status
published
ethz.date.deposited
2017-06-10T15:24:34Z
ethz.source
ECIT
ethz.identifier.importid
imp5936507630f7743422
ethz.ecitpid
pub:103697
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-18T11:36:15Z
ethz.rosetta.lastUpdated
2019-01-02T05:55:34Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Introduction%20to%20the%20special%20section%20on%20rigorous%20embedded%20systems%20design&rft.jtitle=ACM%20Transactions%20on%20Embedded%20Computing%20Systems&rft.date=2013-03&rft.volume=12&rft.issue=1s&rft.spage=41&rft.issn=1539-9087&1558-3465&rft.au=Sifakis,%20Joseph&Thiele,%20Lothar&Wilhelm,%20Reinhard&rft.genre=article&rft_id=info:doi/10.1145/2435227.2435237&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Journal Article [120834]