( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formalizing Ontologies for AI Models Validation: from OWL to Event-B.

, , , , и . ICSC, стр. 455-462. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Florian Boudin

Rabah Boudissa

Anastassia Boudichevskaia

Robert Boudier

Jürgen Boudier

 

Другие публикации лиц с тем же именем

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