Show simple item record

dc.contributor.author
Baudry, Benoit
dc.contributor.author
Faivre, Alain
dc.contributor.author
Ghosh, Sudipto
dc.contributor.author
Pretschner, Alexander
dc.contributor.editor
Giese, Holger
dc.date.accessioned
2017-06-08T20:12:20Z
dc.date.available
2017-06-08T20:12:20Z
dc.date.issued
2008
dc.identifier.isbn
978-3-540-69069-6
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-540-69073-3_16
dc.identifier.uri
http://hdl.handle.net/20.500.11850/11235
dc.language.iso
en
dc.publisher
Springer
dc.title
4th International Workshop on Model Driven Engineering, Verification, and Validation
dc.type
Conference Paper
ethz.title.subtitle
Integrating Verification and Validation in MDE
ethz.book.title
Models in Software Engineering
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
5002
ethz.journal.abbreviated
LNCS
ethz.pages.start
145
ethz.pages.end
150
ethz.event
Workshops and Symposia at MoDELS 2007
ethz.event.location
Nashville, TN, USA
ethz.event.date
September 30 - October 5, 2007
ethz.identifier.nebis
005666409
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-08T20:12:40Z
ethz.source
ECIT
ethz.identifier.importid
imp59364bffe2cbb82216
ethz.ecitpid
pub:22369
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-14T12:21:12Z
ethz.rosetta.lastUpdated
2021-02-14T05:19:04Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=4th%20International%20Workshop%20on%20Model%20Driven%20Engineering,%20Verification,%20and%20Validation&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2008&rft.volume=5002&rft.spage=145&rft.epage=150&rft.issn=0302-9743&1611-3349&rft.au=Baudry,%20Benoit&Faivre,%20Alain&Ghosh,%20Sudipto&Pretschner,%20Alexander&rft.isbn=978-3-540-69069-6&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-540-69073-3_16&rft.btitle=Models%20in%20Software%20Engineering
 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