D43 Jd3 — Final Assessment and Integration Results D43 Jd3 — Final Assessment and Integration Results D43 Jd3 — Final Assessment and Integration Results 2/46 Table of Content

Alexander Romanovsky,Rainer Gmehlich,Katrin Grau, Felix Loesch, Hung Le Dang, Jérôme Falampin,Mikael Mokrani,Dubravka Ilić,Timo Latvala, Thomas Långbacka,Laura Nummila, Tuomas Räsänen, Pauli Väisänen,Kimmo Varpaaniemi,Andreas Roth, Wei Wei,Sebastian Wieczorek,Linas Laibinis,Yuliya Prokhorova,Elena Troubitsyna, Jean-Christophe Deprez, Renaud De Landtsheer, Christophe Ponsard,Michael Leuschel,Alexei Iliasov,Ilya Lopatkin,Alin Stefanescu,Michael J. Butler, Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Carine Pascal Systerel

semanticscholar（2012）

引用 0|浏览2

暂无评分

摘要

B model Manual translated from Event-B model Concrete B model generated by EdithB generated by EdithB New EdithB rules required Ada-PSC code Translated (except base machines, manually written) Translated (except base machines,

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要