PlumX Metrics
Embed PlumX Metrics

Foundation Models for the Digital Twins Creation of Cyber-Physical Systems

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, ISSN: 0302-9743, Page: 9-26
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. Application Areas

Bibliographic Details

Shaukat Ali; Paolo Arcaini; Aitor Arrieta

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