117 followers
[hal-01583815] A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing https://t.co/JltCn2rQ7x
[hal-01583815] A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing https://t.co/JltCn2rQ7x
[hal-01583815] A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing https://t.co/lGjfpdgans
RT @sinya8282: Efficient Online Timed Pattern Matching by Automata-Based Skipping https://t.co/ZV2AmuDgtz
Efficient Online Timed Pattern Matching by Automata-Based Skipping https://t.co/ZV2AmuDgtz