Couvre la conception, la mise en œuvre et la vérification formelle des systèmes distribués, en se concentrant sur les systèmes et organisations distribués vérifiables.
Explore la modélisation de la résistance au contact dans les dispositifs semi-conducteurs, en mettant l'accent sur le calcul de la tension de la porte et l'analyse des défauts.
