Cited By
View all- (2016)Validation process for railway interlocking systemsScience of Computer Programming10.1016/j.scico.2016.04.004128:C(2-21)Online publication date: 15-Oct-2016
- Nielsen CLarsen PFitzgerald JWoodcock JPeleska J(2015)Systems of Systems EngineeringACM Computing Surveys10.1145/279438148:2(1-41)Online publication date: 24-Sep-2015
- Peleska JHonisch ALapschies FLöding HSchmid HSmuda PVorobev EZahlten C(2011)A real-world benchmark model for testing concurrent real-time systems in the automotive domainProceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems10.5555/2075545.2075556(146-161)Online publication date: 7-Nov-2011