Nancy.Expressions: Towards a Computer Algebra System for Deterministic Network Calculus

Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2026

View at publisher
Authors: Andrea Trasacco, Raffaele Zippo, Giovanni Stea
DOI: 10.1007/978-3-032-06818-7_23
Cited by: 0
References: 15

Fields of Study & Subjects

Formal Methods in Verification Software-Defined Networks and 5G Logic programming and type systems

Publication details

Journal / source
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
Pages
425–436
Publication date
1 January 2026
Language
EN