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
Institution
Department
Faculty of Computer Science
Host Institutions
Institution
Faculty
Dr. Edmund M. Clarke
Host Department
Department of Computer Science