Integrating formal methods with testing for reliability estimation of component based systems
- ,
- Soumyajit Dey
- Indian Institute of Technology Kharagpur
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewOriginal language
EnglishPublication milestones
- Published - 02/11/2015
Publication status
Published - 02/11/2015
Publication IDs
- ORCID: /0000-0001-8639-4116/work/49510263
- Scopus: 84974573897
Host publication title
IEEE international symposium on software reliability engineering workshops (ISSREW)Publication metrics
PlumX, opens in new tab
Citations
3
Captures
7
Access to documents
Related Event
Title
International Symposium on Software Reliability Engineering
Event type
SymposiumDegree of recognition
International eventDate
21/10/2025 - 24/10/2025Location
São PauloBrazil