| 书目名称 | Quality of Communication-Based Systems |
| 副标题 | Proceedings of an In |
| 编辑 | Günter Hommel |
| 视频video | |
| 图书封面 |  |
| 描述 | .Quality of Communication-Based Systems. presents theresearch results of students of the .Graduiertenkolleg.`Communication-Based Systems‘ to an international community. Tostimulate the scientific discussion, renowned experts have beeninvited to give their views on the research areas:..Formal specification and mathematical foundations of distributedsystems using process algebra, graph transformations, process calculiand temporal logics ..Performance evaluation, dependabilitymodelling and analysis of real-time systems with different kinds oftimed Petri-nets ..Specification and analysis of communicationprotocols ..Reliability, security and dependability in distributedsystems ..Object orientation in distributed systems architecture..Software development and concepts for distributed applications..Computer network architecture and management ..Languageconcepts for distributed systems... |
| 出版日期 | Conference proceedings 1995 |
| 关键词 | Algebra; Variable; calculus; computer network; distributed systems; modeling; security; systems architectur |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-94-011-0187-5 |
| isbn_softcover | 978-94-010-4084-6 |
| isbn_ebook | 978-94-011-0187-5 |
| copyright | Springer Science+Business Media Dordrecht 1995 |
发表于 2025-3-21 19:47:41
