Home › Entities › master_s_thesis › Applying Formal Modelling to the Specification and Testing of SDN Network Functionality

Applying Formal Modelling to the Specification and Testing of SDN Network Functionality

2016 master's thesis by Matt Stevens at Victoria University of Wellington
Place master_s_thesis Q112926563
Press Enter · cited answer in seconds

Applying Formal Modelling to the Specification and Testing of SDN Network Functionality

Summary

Applying Formal Modelling to the Specification and Testing of SDN Network Functionality is a master's thesis[1].

Key Facts

  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality authored Matt Stevens[2].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's instance of is recorded as master's thesis[3].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's publisher is recorded as Open Access Repository Victoria University of Wellington[4].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's DOI is recorded as 10.26686/WGTN.17058158[5].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's language of work or name is recorded as English[6].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's country of origin is recorded as New Zealand[7].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's publication date is recorded as +2016-01-01T00:00:00Z[8].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's main subject is recorded as architecture[9].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's main subject is recorded as security[10].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's main subject is recorded as model-based testing[11].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's title is recorded as Applying Formal Modelling to the Specification and Testing of SDN Network Functionality[12].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's copyright holder is recorded as Matt Stevens[13].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's thesis submitted to is recorded as Victoria University of Wellington[14].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's on focus list of Wikimedia project is recorded as NZThesisProject[15].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's copyright status is recorded as copyrighted[16].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's thesis committee member is recorded as Bryan Ng[17].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's thesis committee member is recorded as David Streader[18].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's thesis committee member is recorded as Ian Welch[19].

Body

Designation and Status

Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's instance of is recorded as master's thesis[3].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [3] ↑ . wikidata.org.
  2. [2] ↑ . doi.org. doi.org. Provenance: wikidata.org.
  3. [4] ↑ . wikidata.org.
  4. [5] ↑ . wikidata.org.
  5. [6] ↑ . wikidata.org.
  6. [7] ↑ . wikidata.org.
  7. [8] ↑ . wikidata.org.
  8. [9] ↑ . wikidata.org.
  9. [10] ↑ . doi.org. doi.org. Provenance: wikidata.org.
  10. [11] ↑ . doi.org. doi.org. Provenance: wikidata.org.
  11. [12] ↑ . wikidata.org.
  12. [13] ↑ . wikidata.org.
  13. [14] ↑ . wikidata.org.
  14. [15] ↑ . wikidata.org.
  15. [16] ↑ . wikidata.org.
  16. [17] ↑ . wikidata.org.
  17. [18] ↑ . wikidata.org.
  18. [19] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Applying Formal Modelling to the Specification and Testing of SDN Network Functionality. Retrieved May 3, 2026, from https://4ort.xyz/entity/applying-formal-modelling-to-the-specification-and-testing-of-sdn-network-functionality
MLA “Applying Formal Modelling to the Specification and Testing of SDN Network Functionality.” 4ort.xyz Knowledge Graph, 4ort.xyz, 3 May. 2026, https://4ort.xyz/entity/applying-formal-modelling-to-the-specification-and-testing-of-sdn-network-functionality.
BibTeX @misc{4ortxyz_applying-formal-modelling-to-the-specification-and-testing-of-sdn-network-functionality_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Applying Formal Modelling to the Specification and Testing of SDN Network Functionality}}, year = {2026}, url = {https://4ort.xyz/entity/applying-formal-modelling-to-the-specification-and-testing-of-sdn-network-functionality}, note = {Accessed: 2026-05-03}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Applying Formal Modelling to the Specification and Testing of SDN Network Functionality — https://4ort.xyz/entity/applying-formal-modelling-to-the-specification-and-testing-of-sdn-network-functionality (retrieved 2026-05-03)

Canonical URL: https://4ort.xyz/entity/applying-formal-modelling-to-the-specification-and-testing-of-sdn-network-functionality · Last refreshed: