Gebremichael, B., 1971-
Biniam Gebremichael Tesfagiorgis Ph.D. Radboud Universiteit Nijmegen 2006
VIAF ID: 283443379 (Personal)
Permalink: http://viaf.org/viaf/283443379
Preferred Forms
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Control synthesis for a smart card personalization system using symbolic model checking | |
Expressivity of timed automata models | |
A formal analysis of a car periphery supervision system |