PlumX Metrics
Embed PlumX Metrics

Threats to Instrument Validity Within “in Silico” Research: Software Engineering to the Rescue

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, ISSN: 0302-9743, Page: 82-96
2025
  • 0
    Citations
  • 0
    Usage
  • 0
    Captures
  • 0
    Mentions
  • 0
    Social Media
Metric Options:   Counts1 Year3 Year

Book Chapter Description

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Bibliographic Details

Serge Demeyer; Coen De Roover; Mutlu Beyazit; Johannes Härtel

Springer Science and Business Media LLC

Provide Feedback

Have ideas for a new metric? Would you like to see something else here?Let us know