SCR: A toolset for specifying and analyzing software requirements
Lecture notes in computer science1998pp. 526–531
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)