{"title":"智能网联汽车系统 SPZN 形式模型的细化和抽象方法","authors":"","doi":"10.3837/tiis.2024.01.005","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":49932,"journal":{"name":"KSII Transactions on Internet and Information Systems","volume":null,"pages":null},"PeriodicalIF":1.2000,"publicationDate":"2024-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A refinement and abstraction method of the SPZN formal model for intelligent networked vehicles systems\",\"authors\":\"\",\"doi\":\"10.3837/tiis.2024.01.005\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"\",\"PeriodicalId\":49932,\"journal\":{\"name\":\"KSII Transactions on Internet and Information Systems\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.2000,\"publicationDate\":\"2024-01-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"KSII Transactions on Internet and Information Systems\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.3837/tiis.2024.01.005\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, INFORMATION SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"KSII Transactions on Internet and Information Systems","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.3837/tiis.2024.01.005","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
期刊介绍:
The KSII Transactions on Internet and Information Systems (TIIS) is online scholarly journal indexed in SCIE (Thomson Reuters) and SCOPUS (Elsevier) and published by KSII and supported by KETI. The Transactions is published every other month. The Transactions is designed to allow readers to obtain the most state of the art in a number of focusing areas related to wired & wireless internet and information systems. The technologies and applications of IT are very rapidly changing and updating. Thus quick publication and distribution to researchers, developers, deployment engineers, technical managers, and educators are crucial. Our most important aim is to publish the accepted papers quickly after receiving the manuscript.