Back to Results
First PageMeta Content
Logic / Abstraction / Philosophy / Metalogic / Mathematical proofs / Interlocking / Theorem / Theory / Railway signalling / Model theory / Domain-specific language / Rodin tool


Building Event-B Interlocking Theories: Lessons Learned using the Theory Plug-in Yoann Guyot, Renaud De Landtsheer, Christophe Ponsard CETIC Research Center, Charleroi, Belgium {yoann.guyot, renaud.delandtsheer, christop
Add to Reading List

Document Date: 2016-05-20 11:41:20


Open Document

File Size: 146,83 KB

Share Result on Facebook
UPDATE