( en | de | ru )

 

Disambiguierung von "de Oliveira, José Maria Parente"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification With Frama-C: A Case Study in the Space Software Domain.

, , , , und . IEEE Trans. Reliability, 65 (3): 1163-1179 (2016)

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.

José Gomes Oliveira

Sylvio Jose Ribeiro de Oliveira

José Marcus Oliveira Godoy

Ely de Oliveira

José Guillermo De Aguinaga

 

Weitere Publikationen von Autoren mit dem selben Namen

Atribuição e exploração de semântica no processo de categorização de documentos., und . WebMedia (Companion), Seite 193-196. ACM, (2008)Um modelo de referência para sistemas hipermídia adaptativos educacionais.. Instituto Tecnológico de Aeronáutica, São José dos Campos, São Paulo, Brazil, (2003)ndltd.org (oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:47).Emprego de Ontologia e Regras para Apoio à Decisão em Dimensionamento de Enlaces (Use of Ontology and Rules for Decision Support in Link Sizing)., und . ONTOBRAS, Volume 3564 von CEUR Workshop Proceedings, Seite 65-78. CEUR-WS.org, (2023)A Diagrammatic Representation for Entities and Mereotopological Relations in Ontologies., und . ONTOBRAS, Volume 1908 von CEUR Workshop Proceedings, Seite 105-110. CEUR-WS.org, (2017)Conceptual Maps as the First Step in an Ontology Construction Method., und . EDOCW, Seite 199-206. IEEE Computer Society, (2010)DIGO: An Open Data Architecture for e-Government., und . EDOCW, Seite 448-456. IEEE Computer Society, (2011)Influencing Factors on Internal Auditing Maturity Using PLS-PM., , und . IEEE Access, (2024)Formal Verification With Frama-C: A Case Study in the Space Software Domain., , , , und . IEEE Trans. Reliability, 65 (3): 1163-1179 (2016)Comparison of Encoder-Decoder Networks for Soccer Field Segmentation., , und . LARS/SBR/WRE, Seite 496-501. IEEE, (2023)A Blocking Scheme for Entity Resolution in the Semantic Web., und . AINA, Seite 1138-1145. IEEE Computer Society, (2016)