openETCS/ERTMSFormalSpecs — pull request #124 by diegofdz (2013-08-14 15:08:01+00:00)
Title: EA_TEST ModeProfile 3.12.4.5 - 3.12.4.6 Beginning/End of MP relates to M...

...ax/Min SafeFrontEnd of the Train
Test of Requirements 3.12.4.5 and 3.12.4.6 of Mode Profile which says that the Beginning/End of Mode Profile relates to the Max and Min Safe Front End of the Train.