Andrey Mokhov

Suggest Changes

Writes About:

Learn More
This work presents a new formal model for specification and synthesis of microcontrol circuits. The model, called Conditional Partial Order Graph, captures concurrency and choice in a system’s(More)