• Medientyp: E-Artikel
  • Titel: A Petri Net-based Method to Verify the Security of the SDN
  • Beteiligte: Zhou, Ying; Bai, Yongqiang; Zhao, Peng
  • Erschienen: IOP Publishing, 2019
  • Erschienen in: IOP Conference Series: Earth and Environmental Science, 234 (2019), Seite 012057
  • Sprache: Ohne Angabe
  • DOI: 10.1088/1755-1315/234/1/012057
  • ISSN: 1755-1315
  • Entstehung:
  • Anmerkungen:
  • Zugangsstatus: Freier Zugang