skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone: Vers l'exploration à haut niveau de l'architecture
Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone: Vers l'exploration à haut niveau de l'architecture
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone: Vers l'exploration à haut niveau de l'architecture

ABDALLAH, Adolf ; GAMATIE, Abdoulaye ; DEKEYSER, Jean-Luc

TSI. Technique et science informatiques, 2011, Vol.30 (9), p.1089-1113 [Periódico revisado por pares]

Paris: Lavoisier

Texto completo disponível

Citações Citado por
2
Adaptation sémantique des protocoles des composants par les automates d'interface
Adaptation sémantique des protocoles des composants par les automates d'interface
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Adaptation sémantique des protocoles des composants par les automates d'interface

Chouali, Samir ; Mouelhi, Sebti ; Mountassir, Hassan

TSI. Technique et science informatiques, 2012, Vol.31 (6), p.769-796 [Periódico revisado por pares]

Paris: Lavoisier

Texto completo disponível

Citações Citado por
3
Contention Based Medium Access Control Protocol for Point-To-Multipoint Backhaul Networks in the 3.65 GHz Band
Contention Based Medium Access Control Protocol for Point-To-Multipoint Backhaul Networks in the 3.65 GHz Band
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Contention Based Medium Access Control Protocol for Point-To-Multipoint Backhaul Networks in the 3.65 GHz Band

Chehri, Abdellah

2021

Texto completo disponível

Citações Citado por
4
Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B
Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B

IDANI, Akram ; LEDRU, Yves ; BERT, Didier

TSI. Technique et science informatiques, 2007, Vol.26 (7), p.819-851 [Periódico revisado por pares]

Paris: Lavoisier

Texto completo disponível

Citações Citado por
5
Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels
Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels

SBAÏ, Zohra ; BARKAOUI, Kamel

Ingénierie des systèmes d'information (2001), 2013, Vol.18 (5), p.33-57

Paris: Lavoisier

Texto completo disponível

Citações Citado por
6
Service de reconfiguration prédictif pour plateforme multicœur hétérogène
Service de reconfiguration prédictif pour plateforme multicœur hétérogène
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Service de reconfiguration prédictif pour plateforme multicœur hétérogène

Chevobbe, Stéphane ; Guyetant, Stéphane ; Darouich, Mehdi

TSI. Technique et science informatiques, 2010, Vol.29 (2), p.179-199 [Periódico revisado por pares]

Paris: Lavoisier

Texto completo disponível

Citações Citado por
7
Ingénierie des systèmes collaboratifs : Méthodes, architectures et techniques
Ingénierie des systèmes collaboratifs : Méthodes, architectures et techniques
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Ingénierie des systèmes collaboratifs : Méthodes, architectures et techniques

BOUZGUENDA, Lotfi ; BENALI, Khalid ; GARGOURI, Faïez

Ingénierie des systèmes d'information (2001), 2013, Vol.18 (5)

Paris: Lavoisier

Texto completo disponível

Citações Citado por
8
Comparison and validation of pressure and acceleration time-domain waveform models of a smart insole for accurate step count in healthy people
Comparison and validation of pressure and acceleration time-domain waveform models of a smart insole for accurate step count in healthy people
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Comparison and validation of pressure and acceleration time-domain waveform models of a smart insole for accurate step count in healthy people

Ngueleu, Armelle-Myriane ; Batcho, Charles Sebiyo ; Otis, Martin J.-D

2023

Texto completo disponível

Citações Citado por
9
Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes
Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes

MOTA, Jean-Marc ; DUBOIS, Catherine

TSI. Technique et science informatiques, 2007, Vol.26 (7), p.883-908 [Periódico revisado por pares]

Paris: Lavoisier

Texto completo disponível

Citações Citado por
10
Approches formelles pour le développement de logiciels : AFADL 2006
Approches formelles pour le développement de logiciels : AFADL 2006
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Approches formelles pour le développement de logiciels : AFADL 2006

SOUQUIERES, Jeanine

TSI. Technique et science informatiques, 2007, Vol.26 (7) [Periódico revisado por pares]

Paris: Lavoisier

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (82)

Data de Publicação 

De até
Refinar
  1. Antes de1992  (15)
  2. 1992Até1999  (11)
  3. 2000Até2005  (33)
  4. 2006Até2011  (42)
  5. Após 2011  (44)
  6. Mais opções open sub menu

Idioma 

  1. Francês  (111)
  2. Inglês  (62)
  3. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.