Matthias Eichholz

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Programming languages for Software-Defined Networks (SDNs) provide higher abstractions on top of hardware-based APIs like OpenFlow. Researchers started to develop SDN programming languages based on mathematical foundations, which makes these languages amenable to verification and allows network administrators to answer questions about correctness of their(More)
  • 1