Abstract: Testing is an important safety assurance technique for railway interlocking systems. Model-based testing (MBT) allows for designing and maintaining tests with high-level models and ...

Abstract: Numerous sampling strategies have been proposed to reduce the visual clutter of large-scale geographical point data visualization, which focus on the preservation of original data features, ...