Conference
Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems
| Τίτλος: | Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems |
|---|---|
| Συγγραφείς: | Ancona, Davide, Avola, Stefano, Ferrando, Angelo, Baglietto, Pierpaolo, Ter Beek, Maurice H., Parodi, Andrea, Camera, Giancarlo, Pinasco, Matteo |
| Πηγή: | 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) DSN-S Dependable Systems and Networks - Supplemental Volume (DSN-S), 2025 55th Annual IEEE/IFIP International Conference on. :153-159 Jun, 2025 |
| Relation: | 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: edseee DbLabel: IEEE Xplore Digital Library An: edseee.11068385 RelevancyScore: 1106 AccessLevel: 2 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 1105.75305175781 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Ancona%2C+Davide%22">Ancona, Davide</searchLink><br /><searchLink fieldCode="AR" term="%22Avola%2C+Stefano%22">Avola, Stefano</searchLink><br /><searchLink fieldCode="AR" term="%22Ferrando%2C+Angelo%22">Ferrando, Angelo</searchLink><br /><searchLink fieldCode="AR" term="%22Baglietto%2C+Pierpaolo%22">Baglietto, Pierpaolo</searchLink><br /><searchLink fieldCode="AR" term="%22Ter+Beek%2C+Maurice+H%2E%22">Ter Beek, Maurice H.</searchLink><br /><searchLink fieldCode="AR" term="%22Parodi%2C+Andrea%22">Parodi, Andrea</searchLink><br /><searchLink fieldCode="AR" term="%22Camera%2C+Giancarlo%22">Camera, Giancarlo</searchLink><br /><searchLink fieldCode="AR" term="%22Pinasco%2C+Matteo%22">Pinasco, Matteo</searchLink> – Name: TitleSource Label: Source Group: Src Data: 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) DSN-S Dependable Systems and Networks - Supplemental Volume (DSN-S), 2025 55th Annual IEEE/IFIP International Conference on. :153-159 Jun, 2025 – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edseee&AN=edseee.11068385 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1109/DSN-S65789.2025.00056 PhysicalDescription: Pagination: PageCount: 7 StartPage: 153 Titles: – TitleFull: Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Ancona, Davide – PersonEntity: Name: NameFull: Avola, Stefano – PersonEntity: Name: NameFull: Ferrando, Angelo – PersonEntity: Name: NameFull: Baglietto, Pierpaolo – PersonEntity: Name: NameFull: Ter Beek, Maurice H. – PersonEntity: Name: NameFull: Parodi, Andrea – PersonEntity: Name: NameFull: Camera, Giancarlo – PersonEntity: Name: NameFull: Pinasco, Matteo IsPartOfRelationships: – BibEntity: Dates: – D: 23 M: 06 Type: published Y: 2025 Identifiers: – Type: isbn-print Value: 9798331512033 – Type: issn-print Value: 2833292X – Type: issn-locals Value: edseee.IEEEConferenc Titles: – TitleFull: 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S), Dependable Systems and Networks - Supplemental Volume (DSN-S), 2025 55th Annual IEEE/IFIP International Conference on, DSN-S Type: main |
| ResultId | 1 |