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

Convent, Lukas

  1. TeSSLa: Temporal Stream-based Specification Language
    2018/08/31 by Lukas Convent, Sebastian Hungerecker, Convent, Lukas +9 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Programming Languages (cs.PL) #Real-Time Systems Scheduling #Software Testing and Debugging Techniques