Documente
Cunoștințe
Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre, Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time