Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks.
Roberto CanonicoFrancesco FlamminiStefano MarroneRoberto NardoneValeria VittoriniPublished in: ISoLA (4) (2022)
Keyphrases
- communication networks
- wireless communication
- network design
- networked control systems
- distributed databases
- communication infrastructure
- computer networks
- control system
- network structure
- computer systems
- artificial intelligence
- software development
- control strategy
- software engineering
- smart grid
- smart card
- modal logic
- ip networks
- network infrastructure
- information systems
- social networks