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í.
Zdroj nalezených informací
Yoeli, M. - Kol, R.: Verification of systems and circuits using LOTOS, Petri Nets, and CCS ; LC (Names)
Databáze
Soubor osobních jmen a jmen rodin (rodů)
Odkazy
(1) - Knihy
osoba
Počet záznamů: 1
openseadragon
Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom
jak používáme cookies.
