openETCS/ERTMSFormalSpecs — pull request #126 by diegofdz (2013-08-23 11:24:10+00:00)
Title: EA_TEST ModeProfile 3.12.4.4 A previous list of Balises of SH area shall...

... be deleted or replaced by a new lisf of Balise groups for SH

Test of the requirement 3.12.4.4 of the Mode Profile which says than in case of receive a new list of balise groups for SH area the previous one shall be deleted or replaced by the new one.