N - Musharof Chy

Musharof Chy

2579 views

Created 11 months ago

Linköping University - Formal methods in verification of real-time and embedded systems, including ...

Musharof Chy

2579 views

Created 11 months ago

Technische Universität München - Automatic and interactive theorem proving, formal verification, fo...

Musharof Chy

2579 views

Created 11 months ago

Royal Institute of Technology, Stockholm, Sweden. Algorithms and data structures, sorting and searc...

Musharof Chy

2579 views

Created 11 months ago

Columbia University - operating systems, end-to-end system resource management, real-time interacti...