Verification and validation of real-time softwarede William J. QuirkMateriasReal-time data processingValidationVerificationComputer softwareEdiciones (1)Verification and validation of real-time software (1985)Springer-Verlag · inglésMás obras de William J. QuirkTThe formal specification of the requirements of complex realThe formal specification of the requirements of complex real-time systemsRResults of the 1978-79 consensus forecast experimentResults of the 1978-79 consensus forecast experimentVerification and Validation of Real-Time Software
TThe formal specification of the requirements of complex realThe formal specification of the requirements of complex real-time systems
RResults of the 1978-79 consensus forecast experimentResults of the 1978-79 consensus forecast experiment
