AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour December, 2006

CAV 2007 (du 3 au 7 juillet 2007)

Thursday 21 December 2006

19th International Conference on Computer Aided Verification
July 3-7, 2007, Berlin, Germany
CAV’07

Soumission des articles : 28 janvier 2007
Notification de l’acceptation : 11 mars 2007

Publié dans Manifestations, Conférences | Pas de commentaire »

Petri Nets 2007 (du 25 au 29 juin 2007)

Thursday 21 December 2006

28th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS
AND OTHER MODELS OF CONCURRENCY
Siedlce, Poland, June 25-29, 2007
ICATPN’07

Soumission des articles : 5 janvier 2007
Notification de l’acceptation : 1 mars 2007

Publié dans Manifestations, Conférences | Pas de commentaire »

Systèmes temps réel

Tuesday 19 December 2006

Traité IC2 Hermès sur les systèmes temps réel (Sous la direction de Nicolas Navet)
- Volume 1 : Techniques de description et de vérification
- Volume 2 : Ordonnancement, réseaux, qualité de service
Eyrolles

Publié dans Ouvrages - Journaux | Pas de commentaire »