1 expert in "formal synthesis" found:
John Thistle
Expert In:
Formal
synthesis
Communication and information systems
Control of discrete event systems
Cybersecurity
View Profile