Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-3
|
Results: 3
Modeling statecharts and activitycharts as signal equations
Authors:
Beauvais, JR Rutten, E Gautier, T Houdebine, R Le Guernic, P Tang, YM
Citation:
Jr. Beauvais et al., Modeling statecharts and activitycharts as signal equations, ACM T SOFTW, 10(4), 2001, pp. 397-451
Synthesis of discrete-event controllers based on the signal environment
Authors:
Marchand, H Bournai, P Le Borgne, M Le Guernic, P
Citation:
H. Marchand et al., Synthesis of discrete-event controllers based on the signal environment, DISCR EVENT, 10(4), 2000, pp. 325-346
Compositionality in dataflow synchronous languages: Specification and distributed code generation
Authors:
Benveniste, A Caillaud, B Le Guernic, P
Citation:
A. Benveniste et al., Compositionality in dataflow synchronous languages: Specification and distributed code generation, INF COMPUT, 163(1), 2000, pp. 125-171
Risultati:
1-3
|