![Logic / Abstraction / Philosophy / Metalogic / Mathematical proofs / Interlocking / Theorem / Theory / Railway signalling / Model theory / Domain-specific language / Rodin tool Logic / Abstraction / Philosophy / Metalogic / Mathematical proofs / Interlocking / Theorem / Theory / Railway signalling / Model theory / Domain-specific language / Rodin tool](https://www.pdfsearch.io/img/048cc43c1c45a05c449d6a4d70372b14.jpg) 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
|