论文信息 - AltaRica 3.0 code generation from SysML models - 字舞流文

AltaRica 3.0 code generation from SysML models

Jean-Yves Choley | Nga Nguyen | Faida Mhenni

[1] Antoine Rauzy,et al. The AltaRica Formalism for Describing Concurrent Systems , 1999, Fundam. Informaticae.