Yoeli, Michael, 1917-
Yoeli, Michael
יואלי, מיכאל, 1917-2013
Michael Yoeli izraelský informatik, vysokoškolský pedagog, zaměřený na teorii a aplikaci Petri Nets, ověřené syntézy samospouštěcích systémů, formální ověřování hardwarových designů a slučování modulových asynchroních sítí
VIAF ID: 103955322 (Personal)
Permalink: http://viaf.org/viaf/103955322
Preferred Forms
- 100 0 _ ‡a Michael Yoeli ‡c izraelský informatik, vysokoškolský pedagog, zaměřený na teorii a aplikaci Petri Nets, ověřené syntézy samospouštěcích systémů, formální ověřování hardwarových designů a slučování modulových asynchroních sítí
- 100 1 _ ‡a Yoeli, Michael
-
- 100 1 _ ‡a Yoeli, Michael
- 100 1 _ ‡a Yoeli, Michael
-
-
-
-
-
-
-
- 100 1 0 ‡a Yoeli, Michael, ‡d 1917-
-
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Decompositions of finite automata | |
Digital networks | |
Formal verification of hardware design | |
On homomorphic images of transition graphs | |
Products of automata and the problem of covering | |
Verification of systems and circuits using LOTOS, Petri Nets, and CCS | |
הטלפון |