Date: 2016-05-20 11:41:20Logic 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, christopAdd to Reading ListSource URL: wiki.event-b.orgDownload Document from Source Website File Size: 146,83 KBShare Document on Facebook
|