Christel Seguin

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 6

Top Topics

Alternating Time Temporal Logic

Air Traffic Control

Top Venues

Tech. Sci. Informatiques

Reliab. Eng. Syst. Saf.

IEEE Trans. Hum. Mach. Syst.

Publications