Relevance filters for event-B
Open access
Date
2010Type
- Master Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-006266803Publication status
publishedPublisher
Eidgenössische Technische Hochschule Zürich, D-INFKSubject
SPEZIELLE PROGRAMMIERMETHODEN; DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ); SPEZIFIKATIONSSPRACHEN (SOFTWARE ENGINEERING); SPECIAL PROGRAMMING METHODS; DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE); SPECIFICATION LANGUAGES (SOFTWARE ENGINEERING)Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
More
Show all metadata
ETH Bibliography
yes
Altmetrics