Depuis mon arrivée à Nancy, je fais partie de l’équipe VERIDIS qui s’intéresse à la vérification formelle de systèmes distribués. Ma recherche concerne plus précisément la vérification de systèmes probabilistes, notamment à l’aide du model-checking statistique.
Auteur/autrice : Thierry GARTISER
Et de 2 !
Il y a essentiellement 2 types d’éléments dans WordPress : les Pages et les Articles.
Cette page d’accueil est constituée de 2 Articles. Pour modifier cet Article, il suffit de cliquer sur le bouton Éditer.
Dans le Tableau de bord, il y a des sections pour ajouter/supprimer/modifier/catégoriser les Articles, les Pages et tous les autres éléments du site. Lire la suite
Mon premier article de blog
J’ai créé la catégorie Personnel pour mettre un blog perso dans le sous-menu Perso : il suffit de cocher la catégorie « personnel » quand on crée un article pour que celui-ci soit visible dans Perso > mon blog.