arrow
返回
T

Thierry Gautier

avalon, lip, ens, inria

11H指数
65论文数
1.0K被引数
收录论文 4
发表时间
Polychronous automata and their use for formal validation of AADL models
err2019-06-18
err2
PREAI
errGautier, Thierry; Guy, Clement; Honorat, Alexandre; Le Guernic, Paul; Talpin, Jean-Pierre; Besnard, Loic
err分享
err收藏
Modeling statecharts and activitycharts as signal equations
err2001-10-01
err5
PREAI
errBeauvais, JR; Rutten, E; Gautier, T; Houdebine, R; Le Guernic, P; Tang, YM
err分享
err收藏
PROGRAMMING REAL-TIME APPLICATIONS WITH SIGNAL
err1991-01-01
err220
errOAAI
errLEGUERNIC, P; GAUTIER, T; LEBORGNE, M; LEMAIRE, C
err分享
err收藏