A Presentation Format of Architecture Description Based on The Concept of Multilayer Networks
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F15%3A00237586" target="_blank" >RIV/68407700:21230/15:00237586 - isvavai.cz</a>
Result on the web
<a href="http://www.itu.int/en/ITU-T/academia/kaleidoscope/2015/Documents/Proceedings%20Kaleidoscope-2015.pdf" target="_blank" >http://www.itu.int/en/ITU-T/academia/kaleidoscope/2015/Documents/Proceedings%20Kaleidoscope-2015.pdf</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/Kaleidoscope.2015.7383623" target="_blank" >10.1109/Kaleidoscope.2015.7383623</a>
Alternative languages
Result language
angličtina
Original language name
A Presentation Format of Architecture Description Based on The Concept of Multilayer Networks
Original language description
Formal methods based on abstract models are becoming more and more important in the domain of complex computer networks. On the other hand, processes of design documentation transformation into the formal models are still bound to the skills and ingenuity of individual engineers. Moreover, the human factor involved in data transformation represents a major bottleneck due to the tendency of computer networks to be more and more complex. To address this problem, this work introduces a possible appropriate presentation format of architecture descriptions as a part of detailed design documentation that could allow automated development of trusted formal models for analysis and verifying of complex computer networks.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/VI20152020008" target="_blank" >VI20152020008: Comprehensive fiber optic sensor security of critical infrastructures and objects using modern information systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
ITU Kaleidoscope Academic Conference: Trust in the Information Society, Proceedings of the 2015
ISBN
978-92-61-15821-7
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
227-232
Publisher name
International Telecommunication Union
Place of publication
Geneva
Event location
Barcelona
Event date
Dec 9, 2015
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—