Event-B Formalization of Event-B Contexts

von Bodeveix, Jean-Paul
Veröffentlicht in ABZ (Veranstaltung : 8. : 2021 : Online) Rigorous State-Based Methods (2021)

Verification of timed BPEL 2.0 models

von Fares, Elie
Veröffentlicht in Enterprise, business-process and information systems modeling (2011)

Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study

von Yuan, Shenghao
Veröffentlicht in FTSCS (7. : 2019 : Shenzhen) Formal techniques for safety-critical systems (2020)