Tool support for qualitative reasoning in event-B
dc.contributor.author
Yilmaz, Emre
dc.date.accessioned
2017-06-13T11:30:59Z
dc.date.available
2017-06-13T11:30:59Z
dc.date.issued
2010
dc.identifier.uri
http://hdl.handle.net/20.500.11850/152161
dc.identifier.doi
10.3929/ethz-a-006154359
dc.format
application/pdf
dc.language.iso
en
dc.publisher
Swiss Federal Institute of Technology, Department of Computer Science, Chair of Information Security
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
SPEZIFIKATIONSSPRACHEN (COMPUTERSYSTEME)
dc.subject
SPEZIFIKATIONSSPRACHEN (SOFTWARE ENGINEERING)
dc.subject
VERFEINERUNG (SOFTWARE ENGINEERING)
dc.subject
SPECIFICATION LANGUAGES (COMPUTER SYSTEMS)
dc.subject
SPECIFICATION LANGUAGES (SOFTWARE ENGINEERING)
dc.subject
REFINEMENT (SOFTWARE ENGINEERING)
dc.title
Tool support for qualitative reasoning in event-B
dc.type
Master Thesis
dc.rights.license
In Copyright - Non-Commercial Use Permitted
ethz.size
Online-Datei
ethz.code.ddc
DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science
ethz.code.ddc
DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science
ethz.notes
Master Thesis ETH Zürich, 2010.
ethz.identifier.nebis
006154359
ethz.publication.place
Zürich
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
ethz.date.deposited
2017-06-13T11:37:46Z
ethz.source
ECOL
ethz.identifier.importid
imp59366af1e8a9068964
ethz.ecolpid
eth:1677
ethz.eth
yes
ethz.availability
Open access
ethz.rosetta.installDate
2017-07-17T08:00:35Z
ethz.rosetta.lastUpdated
2020-02-15T03:42:05Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Tool%20support%20for%20qualitative%20reasoning%20in%20event-B&rft.date=2010&rft.au=Yilmaz,%20Emre&rft.genre=unknown&rft.btitle=Tool%20support%20for%20qualitative%20reasoning%20in%20event-B
Files in this item
Publication type
-
Master Thesis [2070]