. . . "network architecture, sensor networks, intranets, validation of network configuration"@en . "Design Experience with Routing SW and Related Applications" . "1"^^ . "St. Maarten, The Netherlands Antilles" . . "\u0160v\u00E9da, Miroslav" . . "Design Experience with Routing SW and Related Applications" . . "1"^^ . . "Design Experience with Routing SW and Related Applications"@en . "26230" . "Design Experience with Routing SW and Related Applications"@en . . . . "The paper deals with the current software architectures for intermediate systems for Intranet and small-range wireless interconnection using case studies founded on real-world applications. The approach demonstrates another contribution to network convergence in interconnecting software architecture development, which stems from a design experience based on industrial network applications and on metropolitan networking. The first case study focuses on IEEE 1451 family of standards that provides a design framework for creating applications based not only on IP/Ethernet profile but also on ZigBee. Next case study explores how security and safety properties of Intranets can be verified under every network configuration using model checking." . . "Proceedings of The Tenth International Conference on Networks - ICN 2011" . . . . "The paper deals with the current software architectures for intermediate systems for Intranet and small-range wireless interconnection using case studies founded on real-world applications. The approach demonstrates another contribution to network convergence in interconnecting software architecture development, which stems from a design experience based on industrial network applications and on metropolitan networking. The first case study focuses on IEEE 1451 family of standards that provides a design framework for creating applications based not only on IP/Ethernet profile but also on ZigBee. Next case study explores how security and safety properties of Intranets can be verified under every network configuration using model checking."@en . "978-1-61208-002-4" . "193531" . . "International Academy, Research, and Industry Association" . "RIV/00216305:26230/11:PU95965!RIV12-TA0-26230___" . . . "P(FR-TI1/037), P(TA01010632), S, Z(MSM0021630528)" . . . "2011-01-23+01:00"^^ . . . . "RIV/00216305:26230/11:PU95965" . "St. Maarten" . "6"^^ . "[B67D3E5B534B]" .