vix.ing · top · new · best · stats · spec

Paul Gastin

  1. A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
    2023/05/28 by S. Akshay, Paul Gastin, Akshay, S +7 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques