SCR: A toolset for specifying and analyzing software requirements

Citations Over TimeTop 10% of 1998 papers

Related Papers

• → Analysis of the Formal Specification Application for Train Control Systems(2009)5 cited
• → Formal requirements specification in safety-critical railway signaling system(2009)6 cited
• The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems(2007)
• 열차제어시스템 바이탈 소프트웨어를 위한 정형기법 적용 방안 분석(2007)
• Z와 Statechart에 의한 열차제어시스템 바이탈 소프트웨어 개발 방법 분석(2008)