Que lire en ce moment ? Voici ce que des lecteurs et lectrices passionnés vous conseillent !
Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires, R. Ben Ayed, S.
Collart-Dutilleul, P. Bon, Y. Ledru, A. Idani - pp.495-521 Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation, L.
Mohand-Oussaid, I. Ait-Sadoune, Y. Ait-Ameur, M. Ahmed-Nacer - pp.523-548 Premières leçons sur la spécication d'un train d'atterrissage en B Événementiel, J. Jacquot - pp.549-573 Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa, E. Gallet, M. Manceny, P., P. Ballarini - pp.575-600 Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique, R. Wyss, F. Boniol, J. Forget, C.
Pagetti - pp.601-626
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Que lire en ce moment ? Voici ce que des lecteurs et lectrices passionnés vous conseillent !
Revenu sur les terres de son enfance, l'auteur entame un dialogue avec ce petit garçon plein d'ambitions qu'il a été...
Nous suivons Mathilde Levesque, agrégée de lettres, dans un lycée du 93, pendant une année scolaire...
Astrid Houssin signe ce récit sur la douleur et la reconstruction