HCPN Modeling for ERTMS Requirements Specification.

Zakaryae Boudi El-Miloudi El-Koursi Simon Collart Dutilleul

Published in: HASE (2015)

Keyphrases

requirements specification
specification language
requirements engineering
real world
decision making
data analysis
expert systems
state space
distributed systems