Show simple item record

dc.contributor.author
Woehrle, Matthias
dc.contributor.author
Lampka, Kai
dc.contributor.author
Thiele, Lothar
dc.contributor.editor
Fahrenberg, Uli
dc.contributor.editor
Tripakis, Stavros
dc.date.accessioned
2017-06-09T18:01:34Z
dc.date.available
2017-06-09T18:01:34Z
dc.date.issued
2011-09
dc.identifier.isbn
978-3-642-24309-7
dc.identifier.isbn
978-3-642-24310-3
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-642-24310-3_14
dc.identifier.uri
http://hdl.handle.net/20.500.11850/42877
dc.language.iso
en
dc.publisher
Springer
dc.title
Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems
dc.type
Conference Paper
ethz.book.title
Formal modeling and analysis of timed systems : 9th international conference : proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
6919
ethz.journal.abbreviated
LNCS
ethz.pages.start
193
ethz.pages.end
208
ethz.event
9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011)
ethz.event.location
Aalborg, Denmark
ethz.event.date
September 21-23, 2011
ethz.identifier.nebis
006706089
ethz.publication.place
Berlin
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-09T18:02:02Z
ethz.source
ECIT
ethz.identifier.importid
imp59364ec19ddeb66736
ethz.ecitpid
pub:71226
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T10:38:08Z
ethz.rosetta.lastUpdated
2021-02-14T08:16:11Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Segmented%20State%20Space%20Traversal%20for%20Conformance%20Testing%20of%20Cyber-Physical%20Systems&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2011-09&rft.volume=6919&rft.spage=193&rft.epage=208&rft.issn=0302-9743&1611-3349&rft.au=Woehrle,%20Matthias&Lampka,%20Kai&Thiele,%20Lothar&rft.isbn=978-3-642-24309-7&978-3-642-24310-3&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-642-24310-3_14&rft.btitle=Formal%20modeling%20and%20analysis%20of%20timed%20systems%20:%209th%20international%20conference%20:%20proceedings
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record