Tsiopoulos, Leonidas

name

• Tsiopoulos, Leonidas

Authored works

• Formal channel based modeling of SoC systems
• Formal model-based development of network-on-chip systems
• Modeling SoC systems with flow control

Works contributed to

• A case study in requirement analysis of control systems using UML and B

Works about Tsiopoulos, Leonidas