logo
correctness-by-construction approaches for software and systems engineering

カンファレンス検索結果 (1)

International Workshop on Formal Methods for interactive Systems (FMIS)

Rank: COffline
Ottawa, Ontario, Canada
Apr 27, 2025 - Apr 28, 2025
analysis of performance and other non-functional properties based on formal approachesscalability of formal method applicationsintegration of formal methods within the software development lifecycle+14 その他