search

Ortiz

lastname	Ortiz
firstname	James

speakers_object

Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems

An Alternative (Multi-timed) Semantics for Modelling the Behaviour of Distributed Timed Systems

Contact #369492 - created on 2022/10/17