Modelling in the contexts of verification and design/03. Proof, trust and belief.
Uit Werkplaats
<
Modelling in the contexts of verification and design
Ga naar:
navigatie
,
zoeken
Modelling
for verification and design
Angelika Mader
01. Introduction: The pragmatic view
1. Paper factory
Cases
NMR 1.Koffieaparaat - Coffee machine
Problem statements
Lego sorter
Sorting bricks (case study)
Outlines
Comparing different modelling methods
Control Design
NMR and comparison to other methods
NMR for MODELS08
Papers
Comparing different modelling methods
Control Design
NMR and comparison to other methods
Taxonomy of Design Decisions
taxonomy of design decisions
abstract
Part3
Part3N
Taxonomy of Modelling Decisions
Taxonomy of modelling decisions for embedded systems verification
The Construction of Verification Models for Embedded Systems
02. Quality criteria and their evaluation.
03. Proof, trust and belief.
06. Formality and Informality.
10. Problem Frames.
11. Structure and Decomposition
12. Control Design
13. actual research questions
14. Theses on verification models
© comments
Rationality
Navigatiemenu
Persoonlijke instellingen
Aanmelden
Naamruimten
Pagina
Overleg
Varianten
Weergaven
Lezen
Brontekst bekijken
Geschiedenis weergeven
Meer
zoek
Werkplaats III (nl)
ICIS online (en)
index
leden/members
HELP!
Veelgestelde vragen
recent changes
Afdrukken/exporteren
Boek maken
Downloaden als PDF
Downloaden als ODT
Printvriendelijke versie
Hulpmiddelen
Verwijzingen naar deze pagina
Verwante wijzigingen
Speciale pagina's
Permanente koppeling
Paginagegevens
Eigenschappen bekijken
