N - Musharof Chy

Musharof Chy

2579 visualizações

Criado há 11 meses

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

Musharof Chy

2579 visualizações

Criado há 11 meses

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

Musharof Chy

2579 visualizações

Criado há 11 meses

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

Musharof Chy

2579 visualizações

Criado há 11 meses

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