协同嵌入式系统的运行时验证

{"title":"协同嵌入式系统的运行时验证","authors":"Samira Akili, Felix Lorenz","doi":"10.1007/s00450-019-00425-6","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":41265,"journal":{"name":"SICS Software-Intensive Cyber-Physical Systems","volume":"34 1","pages":"225 - 236"},"PeriodicalIF":2.4000,"publicationDate":"2019-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00450-019-00425-6","citationCount":"3","resultStr":"{\"title\":\"Towards runtime verification of collaborative embedded systems\",\"authors\":\"Samira Akili, Felix Lorenz\",\"doi\":\"10.1007/s00450-019-00425-6\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"\",\"PeriodicalId\":41265,\"journal\":{\"name\":\"SICS Software-Intensive Cyber-Physical Systems\",\"volume\":\"34 1\",\"pages\":\"225 - 236\"},\"PeriodicalIF\":2.4000,\"publicationDate\":\"2019-11-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1007/s00450-019-00425-6\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"SICS Software-Intensive Cyber-Physical Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s00450-019-00425-6\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"Computer Science\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"SICS Software-Intensive Cyber-Physical Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s00450-019-00425-6","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Computer Science","Score":null,"Total":0}