Network reachability solving algorithm based on formal verification

WO2023060513 Art A1 20. April 2023

Anmelder: ZHEJIANG UNIVERSITY 🇨🇳

Details

Veröffentlichungs-Nr.: WO2023060513
Aktenzeichen: EP21960250
Anmeldetag: 14. Oktober 2021
Veröffentlichung: 20. April 2023
Rechtsraum: WO
IPC: H04L43/50

Offizieller Volltext

Abstract

Für dieses Patent liegt uns kein Abstract vor.

Anmelder

Firma: ZHEJIANG UNIVERSITY
Land: 🇨🇳 China

🇨🇳 Zhejiang University

Chinesische Universität mit Sitz in Hangzhou, eine der führenden Forschungshochschulen Chinas mit breitem Fächerspektrum einschließlich Ingenieurwissenschaften und Materialforschung.

1.943 Patente in unserer Datenbank

Fachgebiete

Nachrichtentechnik & Telekommunikation

Vertreten von