Gascard, Eric, 1973-....
VIAF ID: 188456774 ( Personal )
Permalink: http://viaf.org/viaf/188456774
Preferred Forms
- 100 1 _ ‡a Gascard, Eric, ‡d 1973-...
- 100 1 _ ‡a Gascard, Eric, ‡d 1973-....
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Contribution to the development of methodology for diagnosis of Cyber physical systems. | |
Méthodes pour la vérification formelle de systèmes matériels et logiciels à architecture régulière | |
Methods for the formal verification of regularly structured hardwzare and software systems. |