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í.
Source data found
Yoeli, M. - Kol, R.: Verification of systems and circuits using LOTOS, Petri Nets, and CCS ; LC (Names)
Database
Soubor osobních jmen a jmen rodin (rodů)
References
(1) - Books
person
Number of the records: 1
openseadragon
This site uses cookies to make them easier to browse. Learn more about
how we use cookies.