Publication | Closed Access
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach
46
Citations
20
References
2013
Year
Railway TrafficEngineeringRail TransportDam-rail ApproachVerificationComputer EngineeringFormal MethodsSystems EngineeringModel VerificationTrain ControlUml DesignRailway SystemsFormal VerificationTransportation Engineering
| Year | Citations | |
|---|---|---|
Page 1
Page 1