Timed Specification Patterns for System Validation: A Railway Case Study.

Ahmed Mekki, Mohamed Ghazel, Armand Toguyni

Browse the full ICINCO paper archive.