Le moteur de recherche
des thèses françaises
Kais Klai
IdRefMots clés
FR |
EN
Logique temporelle
Services Web
Vérification
Logique informatique
Innovation
Informatique dans les nuages
Gestion d'entreprise
Méthodes formelles (informatique)
Solveurs linéaires parallèles
Résolution de problème -- Informatique
Calcul des propositions
Bpm
Cryptomonnaie
Réseaux de Petri
Vérification modulaire
(dé)composition de modèle
Model-checking
Diagramme de décision binaire
Vérification Formel
Service Web orienté données