( en | de | ru )

 

Disambiguierung von "Meng, Baoluo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Methods in Requirements Engineering: Survey and Future Directions.

, , , , , , , und . FormaliSE@ICSE, Seite 88-99. ACM, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Meng Meng

Meng Meng Liang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)

Winfried Meng

Weiyan Meng

 

Weitere Publikationen von Autoren mit dem selben Namen

UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper)., , , und . PADL, Volume 13880 von Lecture Notes in Computer Science, Seite 250-260. Springer, (2023)RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence., , , , , , , , und . SAFECOMP Workshops, Volume 14182 von Lecture Notes in Computer Science, Seite 149-160. Springer, (2023)Sort Race., , und . CoRR, (2016)VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System., , , , , , , , , und 5 andere Autor(en). Syst., 9 (1): 18 (2021)Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming., , , , und . CoRR, (2022)Automating the Assembly of Security Assurance Case Fragments., , , , und . SAFECOMP, Volume 12852 von Lecture Notes in Computer Science, Seite 101-114. Springer, (2021)Sort race., , und . Softw. Pract. Exp., 52 (8): 1867-1878 (2022)Towards a Correct-by-Construction Design of Integrated Modular Avionics., , , , , , , , , und 2 andere Autor(en). FMCAD, Seite 221-227. IEEE, (2023)Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming., , , , und . ICLP Workshops, Volume 3193 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)A Semantic Reference Model for Capturing System Development and Evaluation., , , , , , , , , und . ICSC, Seite 173-174. IEEE, (2022)