| Home : September 12 2013 Computer News : Prover Technology Announces Prover Online |
|
Prover Technology Announces Prover Online |
September 12, 2013
STOCKHOLM, September 12, 2013 /PRNewswire/ --
Online Environment Increases Efficiency in Formal Verification-Based Safety Assessment of Rail Control Systems
Prover Technology, a world leader in software technology for Automated Development of Rail Control Software, today announced...
Link: http://www.prnewswire.com/news-releases/prover-technology-announces-prover-online-223418181.html
|
|
|
|
|
