Patricia Bouyer

• Formal Modeling and Analysis of Timed Systems
• Foundations of Software Science and Computation Structures