( en | de | ru )

 

Disambiguierung von "Boudi, Zakaryae"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formalizing Ontologies for AI Models Validation: from OWL to Event-B.

, , , , und . ICSC, Seite 455-462. IEEE, (2021)

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.

Florian Boudin

Rabah Boudissa

Anastassia Boudichevskaia

Robert Boudier

Andreas Boudier

 

Weitere Publikationen von Autoren mit dem selben Namen

Building Valid Career Ontologies with B-CPNs., , , und . SADASC, Volume 1207 von Communications in Computer and Information Science, Seite 33-46. Springer, (2020)Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control., , , und . ENASE, Seite 350-358. SciTePress, (2019)Formalizing Ontologies for AI Models Validation: from OWL to Event-B., , , , und . ICSC, Seite 455-462. IEEE, (2021)A Deep Reinforcement Learning Framework with Formal Verification., , , und . Formal Aspects Comput., 35 (1): 5:1-5:17 (März 2023)Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case., , , und . MEDI Workshops, Volume 929 von Communications in Computer and Information Science, Seite 50-62. Springer, (2018)HCPN Modeling for ERTMS Requirements Specification., , und . HASE, Seite 271-272. IEEE Computer Society, (2015)