1. UMH: Repositorio RediUMH

Browsing by Keywords ACP

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 4 of 4
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
Show more
Formal Specification of Spanning Tree Protocol Using ACP.pdf.jpg2017Formal Specification of Spanning Tree Protocol Using ACPRoig, Pedro Juan; Alcaraz, Salvador; Gilly, Katja
sensors-21-07276-v2.pdf.jpg2021Modeling of a Generic Edge Computing Application Design
Gilly, Katja; Roig, Pedro Juan; Alcaraz, Salvador; Bernad, Cristina; Juiz, Carlos
Show more
Study on OSPF Algebraic Formal Modelling Using ACP.pdf.jpg2020Study on OSPF Algebraic Formal Modelling Using ACP
Roig, Pedro Juan; Alcaraz, Salvador; Gilly, Katja; Juiz, Carlos
Show more
Showing results 1 to 4 of 4