gitolite/c3d2-wiki
gitolite/c3d2-wiki
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

/* long term */

Browse Source
This commit is contained in:
Demos 2015-02-21 23:07:24 +00:00
parent 438be96c77
commit 11224c3777
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Echt_Dezentrales_Netz%2Fen.mw
View File

@ -126,7 +126,7 @@ the following we need to find out:
# '''specification:''' formal description of all components from the concept, as well as of the criteria (preferably all quantifiable criteria), where possible and sensible
# '''Evaluation:''' to evaluate the formal model of the specification, whether it fulfills the criteria (e.g. via theorem proof and probabilistic model checking)
# '''Implementation:''' Implementation of the specification for the different platforms
# '''[https://wiki.c3d2.de/Echt_Dezentrales_Netz/_TestInfrastructure Testing] the implementations'''
# '''[https://wiki.c3d2.de/Echt_Dezentrales_Netz/_TestInfrastructure Testing] the implementations''' as a '''proof of concept'''
# '''Distribution''' of software and hardware, where needed
== Contribute ==