Ferucio Tiplea

Home Country

Partial Order Verification Methods of Finate-State Concurrent Systems in Hardware and Software

Program
Fulbright Visiting Scholar Program
Program Country
Grant Activity Type
Research
Discipline
Academic Year
Dates
-
Flex
No
Scholar type
Non-U.S. (Visiting) Scholar
Project Title
Partial Order Verification Methods of Finate-State Concurrent Systems in Hardware and Software

Scholar Information

Grantee
Ferucio Tiplea
Title
Associate Professor
Department
Faculty of Computer Science
Host Institutions
Faculty
Dr. Edmund M. Clarke
Host Department
Department of Computer Science