Patterns for Temporal Requirements Engineering - A Level Crossing Case Study.

Ahmed Mekki, Mohamed Ghazel, Armand Toguyni

Browse the full ICINCO paper archive.