{"headerData":{"lastRefreshDate":"06 Jul 2026"},"publicationOverview":{"publication":{"id":"509F64A7-A4BB-459F-ABA9-D0EBD674F5D7","resourceUrl":"http://gtr.ukri.org/api/publication/overview?outcomeid=69ac2edf4d4f09.29638773&projectref=#grantRef#","outcomeId":"69ac2edf4d4f09.29638773","title":"Formal Techniques for Distributed Objects, Components, and Systems - 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings","parentPublicationTitle":null,"authors":[{"id":"e31f5fe9e61980852e4e424ac0962f4b","resourceUrl":"http://gtr.ukri.org/api/person/e31f5fe9e61980852e4e424ac0962f4b","firstName":null,"otherNames":"Araujo H","surname":null,"email":null,"orcidId":null,"displayName":"Araujo H","fullName":"Araujo H"}],"date":1735689600000,"digitalPublicationUrl":"http://dx.doi.org/10.1007/978-3-031-95497-9_2","pubMedId":null,"pubMedUrl":null,"isbn":null,"issn":null,"publicationUrl":"http://dx.doi.org/10.1007/978-3-031-95497-9_2","abstractText":null,"volume":null,"issue":null,"totalPages":null,"edition":null,"chapterNumber":null,"chapterTitle":"Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems","pageRef":"15-35","series":null,"type":"Book Chapter","firstAuthorName":"Araujo H","grantRef":null},"projects":[{"id":"11AD8874-964A-46B3-8391-10704551FC42","resourceUrl":"http://gtr.ukri.org/projects?ref=EP/W032635/1","title":"Reliable and Robust Quantum Computing","status":null,"grantReference":"EP/W032635/1","grantCategory":"Research Grant","abstractText":null,"potentialImpactText":null,"fund":{"valuePounds":2227394,"start":null,"end":null,"funder":{"id":"798CB33D-C79E-4578-83F2-72606407192C","resourceUrl":"http://gtr.ukri.org/api/organisation/798CB33D-C79E-4578-83F2-72606407192C","name":"EPSRC"},"type":"INCOME_ACTUAL"},"output":null,"publications":null,"identifiers":null,"technicalSummary":null,"projectHierarchy":null,"studentshipHierarchy":null,"healthCategories":[],"researchActivities":[],"researchSubjects":[],"researchTopics":[],"rcukProgrammes":[],"hasClassifications":false}],"abstractSnippet":null}}