Hybrid systems modelling and validating using Statecharts and Grafcet - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Annual Review in Automatic Programming Année : 1994

Dates et versions

hal-04543919 , version 1 (12-04-2024)

Identifiants

Citer

R Boissier, B Dima, D Razafindramary, Thierry Soriano. Hybrid systems modelling and validating using Statecharts and Grafcet. Annual Review in Automatic Programming, 1994, 18, pp.73-79. ⟨10.1016/0066-4138(94)90014-0⟩. ⟨hal-04543919⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More