Colloque international sur les méthodes formelles pour les systèmes répartis ouverts basés objet

Création :1996
Autres formes du nom :Fédération internationale pour le traitement de l'information. Working group. Colloque international sur les méthodes formelles pour les systèmes répartis ouverts basés objet (06.1)
FMOODS
Workshop on formal methods for open object-based distributed systems (anglais)

Pages dans data.bnf.fr

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • FMOODS'96

Autres formes du nom

  • Fédération internationale pour le traitement de l'information. Working group. Colloque international sur les méthodes formelles pour les systèmes répartis ouverts basés objet (06.1)
  • FMOODS
  • Workshop on formal methods for open object-based distributed systems (anglais)

Pages équivalentes