Conference
Temporal Logics Meet Real-World Software Requirements: A Reality Check
| Τίτλος: | Temporal Logics Meet Real-World Software Requirements: A Reality Check |
|---|---|
| Συγγραφείς: | Bogli, Roman, Rohani, Atefeh, Studer, Thomas, Tsigkanos, Christos, Kehrer, Timo |
| Πηγή: | 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2025 IEEE/ACM 13th International Conference on. :74-85 Apr, 2025 |
| Relation: | 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!