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
CreativeWork 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 was published by Open Access Repository Victoria University of Wellington[4].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's language of work or name is recorded as English[5].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's country of origin is recorded as New Zealand[6].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality was published on January 1, 2016[7].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's main subject is architecture[8].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's main subject is security[9].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's main subject is model-based testing[10].
  • 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[11].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's copyright holder is recorded as Matt Stevens[12].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's thesis submitted to is recorded as Victoria University of Wellington[13].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's on focus list of Wikimedia project is recorded as NZThesisProject[14].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's copyright status is recorded as copyrighted[15].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's thesis committee member is recorded as Bryan Ng[16].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's thesis committee member is recorded as David Streader[17].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's thesis committee member is recorded as Ian Welch[18].
  • Applying Formal Modelling to the Specification and Testing of SDN Network Functionality's thesis submitted for degree is recorded as Master of Engineering[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] ↑ . 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] ↑ . wikidata.org.
  10. [11] ↑ . 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:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 4w ago · DrThneed · 2026-09-06 view diff on Wikidata ↗
    Publication date → +2016-01-01T00:00:00Z
    Doi → 10.26686/WGTN.17058158
    Thesis submitted for degree → Master of Engineering
    Main subject → architecture, security, model-based testing
    + 13 other properties edited (see Wikidata diff for full list)
    "/* wbeditentity-update:0| */ QuickStatements 3.0 [[:toollabs:qs-dev/batch/52324|batch #52324]]: VUW"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.