Browsing by Keywords formal modeling

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 2 of 2
PreviewIssue DateTitleAuthor(s)Access
sensors-22-00421-v2.pdf.jpg2022Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments
Gilly, Katja; Roig, Pedro Juan; Alcaraz, Salvador; Bernad, Cristina; Juiz, Carlos
sensors-21-07276-v2.pdf.jpg2021Modeling of a Generic Edge Computing Application Design
Gilly, Katja; Roig, Pedro Juan; Alcaraz, Salvador; Bernad, Cristina; Juiz, Carlos