Ait Mohamed, Otmane
VIAF ID: 202241620 ( Personal )
Permalink: http://viaf.org/viaf/202241620
Preferred Forms
- 100 1 _ ‡a Ait Mohamed, Otmane
-
-
- 100 1 _ ‡a Ait Mohamed, Otmane
- 100 1 _ ‡a Ait Mohamed, Otmane
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Enhanced Observation Framework for embedded systems exposed to radiations. | |
Environnement d'observation générique pour systèmes embarqués exposés aux radiations | |
Modeling Approaches and Algorithms for Advanced Computer Applications | |
Network security technologies, 2014: | |
Recent Trends and Future Technology in Applied Intelligence : 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings | |
Theorem proving in higher order logics, c2008: | |
The π-calculus theory in the HOL system. |