Show simple item record

dc.contributor.author
Strehl, Karsten
dc.contributor.supervisor
Thiele, Lothar
dc.date.accessioned
2017-06-13T02:46:04Z
dc.date.available
2017-06-13T02:46:04Z
dc.date.issued
2000
dc.identifier.isbn
3-8265-7193-2
dc.identifier.uri
http://hdl.handle.net/20.500.11850/144499
dc.identifier.doi
10.3929/ethz-a-003879183
dc.format
application/pdf
dc.language.iso
en
dc.publisher
Shaker Verlag
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
ECHTZEITSYSTEME + EINGEBETTETE SYSTEME (COMPUTERSYSTEME)
dc.subject
LOGISCHER ENTWURF + LOGISCHE SCHALTKREISE (HARDWARE)
dc.subject
SCHALTKREISSYNTHESE (ELEKTROTECHNIK)
dc.subject
REAL-TIME SYSTEMS + EMBEDDED SYSTEMS (COMPUTER SYSTEMS)
dc.subject
LOGIC DESIGN + LOGIC CIRCUITS (HARDWARE)
dc.subject
CIRCUIT SYNTHESIS (ELECTRICAL ENGINEERING)
dc.title
Symbolic methods applied to formal verification and synthesis in embedded systems design
dc.type
Doctoral Thesis
dc.rights.license
In Copyright - Non-Commercial Use Permitted
ethz.journal.title
TIK-Schriftenreihe
ethz.journal.volume
036
ethz.size
158 S.
ethz.code.ddc
DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science
ethz.notes
Diss. Technische Wissenschaften ETH Zürich, Nr. 13572, 2000.
ethz.identifier.diss
13572
ethz.identifier.nebis
003879183
ethz.publication.place
Aachen
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::03429 - Thiele, Lothar / Thiele, Lothar
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::03429 - Thiele, Lothar / Thiele, Lothar
ethz.date.deposited
2017-06-13T02:47:19Z
ethz.source
ECOL
ethz.identifier.importid
imp59366a2c55e1f31100
ethz.ecolpid
eth:23365
ethz.eth
yes
ethz.availability
Open access
ethz.rosetta.installDate
2017-07-16T03:14:29Z
ethz.rosetta.lastUpdated
2020-02-15T00:26:45Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Symbolic%20methods%20applied%20to%20formal%20verification%20and%20synthesis%20in%20embedded%20systems%20design&rft.jtitle=TIK-Schriftenreihe&rft.date=2000&rft.volume=036&rft.au=Strehl,%20Karsten&rft.isbn=3-8265-7193-2&rft.genre=unknown&rft_id=info:doi/3-8265-7193-2&
 Search via SFX

Files in this item

Thumbnail
Thumbnail

Publication type

Show simple item record