Stockholm, Sweden (ots/PRNewswire) - Prover iLock solution aims to establish a standard interface for signaling system requirements Prover Technology, a leading solutions provider of rail control development software, today announced that SL, the infrastructure manager of Stockholm Metro, has licensed a Prover iLock ...
Toulouse, France (ots/PRNewswire) - Efficient Requirements Validation with Prover iLock Based on Formal Requirement Specifications in PiSPEC Prover Technology, a world leader in software technology for Automated Development of Rail Control Software, today announced that Infrabel, the Belgian railway infrastructure manager, has placed an order for using Prover iLock for ...
Stockholm (ots/PRNewswire) - ? Supply of Interlocking Rail Control Software Developed with Prover iLock for Stockholm Public Transport SL's Light Rail System Tvärbanan Prover Technology, a world leader in software technology for Automated Development of Rail Control Software, today announced that General Electric ...