Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Software Reliability Methods
Home
Publications
Software Reliability Methods
Software Reliability Methods
DP
Doron A. Peled
Doron A. Peled
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 2001
book
Published by
Springer Science and Business Media LLC
https://doi.org/10.1007/978-1-4757-3540-6
Abstract
No abstract available
Keywords
AUTOMATA
FORMAL METHOD
FORMAL SPECIFICATION
LOGIC
MODELING
SOFTWARE ENGINEERING
TESTING
VERIFICATION
Cited by 103 articles