Ye, Lina, 1978
VIAF ID: 291566451 ( Personal )
Permalink: http://viaf.org/viaf/291566451
Preferred Forms
- 100 1 _ ‡a Ye, Lina, ‡d 1978
Works
Title | Sources |
---|---|
Formal verification at design stage of diagnosis related properties for discrete event and real-time systems | |
Optimized diagnosability of distributed discrete event systems through abstraction | |
Vérification formelle au stade de la conception de propriétés liées au diagnostic des systèmes à événements discrets et temps réel. |