issues
search
openETCS
/
model-evaluation
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
13
stars
20
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Evaluation matrix issue (relationship to WP2 reqs)
#14
stanpinteTheSignallingCompany
closed
11 years ago
2
Evaluation matrix issue (Open process, relationship to WP2, quantification)
#13
stanpinteTheSignallingCompany
closed
11 years ago
2
Committer vote for Lukas Ladenberger
#12
mgudemann
closed
11 years ago
8
Why3 benchmark
#11
MariellePetitDoche
closed
11 years ago
9
How to open ProR link to Event B model
#10
MERCEmentre
closed
11 years ago
5
Committer vote for Armand Nachef
#9
MariellePetitDoche
closed
11 years ago
5
How to handle scalability issues with Event B?
#8
MERCEmentre
closed
11 years ago
5
How to handle traceability to SRS in Event B model?
#7
MERCEmentre
closed
11 years ago
17
Readibility issues in Event B model
#6
MERCEmentre
closed
11 years ago
1
Bibliography is missing
#5
MERCEmentre
closed
11 years ago
2
How to open Event B model into Rodin?
#4
MERCEmentre
closed
11 years ago
2
Committer vote for Svitlana Lukicheva
#3
stanpinteTheSignallingCompany
closed
11 years ago
9
Committer vote for Laurent Ferier
#2
stanpinteTheSignallingCompany
closed
11 years ago
9
Committer Vote for Stefan Rieger
#1
mgudemann
closed
11 years ago
9
Previous