skip to main content
Lingue:
Filtrati per: Tipo di risorsa: Atti di convegno rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Concurrent Secrets with Quantified Suspicion

Helouet, Loic ; Marchand, Herve ; Mullins, John

2018 18th International Conference on Application of Concurrency to System Design (ACSD), June 2018, pp.75-84

Fulltext disponibile

2
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Diagnosability of repairable faults

Fabre, Eric ; Helouet, Loic ; Lefaucheux, Engel ; Marchand, Herve

2016 13th International Workshop on Discrete Event Systems (WODES), May 2016, pp.230-236

Fulltext disponibile

3
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Polychronous controller synthesis from MARTE CCSL timing specifications

Yu, Huafeng ; Talpin, Jean-Pierre ; Besnard, Loic ; Gautier, Thierry ; Marchand, Herve ; Le Guernic, Paul

Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 01 July 2011, pp.21-30

Fulltext disponibile

Vedi tutte le versioni

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Data di pubblicazione 

Da A

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Marchand, Herve
  2. Marchand, H
  3. Helouet, Loic
  4. Talpin, J
  5. Helouet, L.

Ricerca in corso nelle risorse remote ...