Tool support for qualitative reasoning in event-B

Download
Text (PDF, 738.9Kb)
Thumbnail
Open access
Autor(in)
Yilmaz, Emre
Datum
2010
Typ
    Master Thesis
Rechte / Lizenz
In Copyright - Non-Commercial Use Permitted
Persistenter Link
https://doi.org/10.3929/ethz-a-006154359
Publikationsstatus
published
Verlag
Swiss Federal Institute of Technology, Department of Computer Science, Chair of Information Security
Thema
SPEZIFIKATIONSSPRACHEN (COMPUTERSYSTEME); SPEZIFIKATIONSSPRACHEN (SOFTWARE ENGINEERING); VERFEINERUNG (SOFTWARE ENGINEERING); SPECIFICATION LANGUAGES (COMPUTER SYSTEMS); SPECIFICATION LANGUAGES (SOFTWARE ENGINEERING); REFINEMENT (SOFTWARE ENGINEERING)
Organisationseinheit
02150 - Dep. Informatik / Dep. of Computer Science
Anmerkungen
Master Thesis ETH Zürich, 2010.
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics