- 5 Résultats
prix le plus bas: € 62,13, prix le plus élevé: € 172,00, prix moyen: € 107,45
1
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Lohr, Christophe
Commander
sur Amazon.de (Intern. Bücher)
€ 172,00
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Lohr, Christophe:

Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Livres de poche

2010, ISBN: 9786131534706

Éditions universitaires européennes, Taschenbuch, 204 Seiten, Publiziert: 2010-10-07T00:00:01Z, Produktgruppe: Buch, 0.3 kg, Essays & Briefwechsel, Literatur & Fiktion, Kategorien, Bücher… Plus…

Gebraucht, wie neu. Frais d'envoiGewöhnlich versandfertig in 9 bis 10 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) LA CABANE A LIVRES
fermer(X)
2
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Lohr, Christophe
Commander
sur Amazon.de (Intern. Bücher)
€ 62,13
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé

Lohr, Christophe:

Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Livres de poche

2010, ISBN: 9786131534706

Éditions universitaires européennes, Taschenbuch, 204 Seiten, Publiziert: 2010-10-07T00:00:01Z, Produktgruppe: Buch, 0.3 kg, Essays & Briefwechsel, Literatur & Fiktion, Kategorien, Bücher… Plus…

Frais d'envoiDie angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
fermer(X)
3
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Lohr, Christophe
Commander
sur Amazon.de (Intern. Bücher)
€ 69,00
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Livres de poche

2010

ISBN: 9786131534706

Éditions universitaires européennes, Taschenbuch, 204 Seiten, Publiziert: 2010-10-07T00:00:01Z, Produktgruppe: Buch, 0.3 kg, Essays & Briefwechsel, Literatur & Fiktion, Kategorien, Bücher… Plus…

Frais d'envoiAuf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
fermer(X)
4
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Lohr, Christophe
Commander
sur Amazon.de (Intern. Bücher)
€ 172,00
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Livres de poche

2010, ISBN: 9786131534706

Éditions universitaires européennes, Taschenbuch, 204 Seiten, Publiziert: 2010-10-07T00:00:01Z, Produktgruppe: Buch, 0.67 kg, Essays & Briefwechsel, Literatur & Fiktion, Kategorien, Büche… Plus…

Gebraucht, wie neu. Frais d'envoiGewöhnlich versandfertig in 9 bis 10 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) LA CABANE A LIVRES
fermer(X)
5
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Lohr, Christophe
Commander
sur Amazon.de (Intern. Bücher)
€ 62,13
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Livres de poche

2010, ISBN: 9786131534706

Éditions universitaires européennes, Taschenbuch, 204 Seiten, Publiziert: 2010-10-07T00:00:01Z, Produktgruppe: Buch, 0.67 kg, Essays & Briefwechsel, Literatur & Fiktion, Kategorien, Büche… Plus…

Frais d'envoiDie angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.)
Auteur:
Titre:
ISBN:

9786131534706


Cet ouvrage s'intéresse à la conception de systèmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle à l'algèbre de processus Lotos. Il aborde plusieurs points relatifs à la spécification, la validation et l'ordonnancement de systèmes concurrents sujets à des contraintes logiques et temporelles. La première partie présente le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. La deuxième partie étudie la notion de cohérence temporelle et propose une technique basée sur l'analyse du graphe des régions ainsi qu'un modèle formel pour exploiter sous un nouvel angle des informations issues de la vérification formelle. Enfin, la troisième partie se penche sur les liens possibles entre méthodes formelles et semi-formelles. Dans ce cadre, nous proposons une sémantique formelle pour les diagrammes UML s'appuyant sur RT-Lotos. Ainsi, nous définissons une méthodologie qui s'inscrit dans les techniques de développement industriel classiques et qui permet une vérification formelle de systèmes temps-réel.

Informations détaillées sur le livre - Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.)


EAN (ISBN-13): 9786131534706
ISBN (ISBN-10): 6131534705
Version reliée
Livre de poche
Date de parution: 2014
Editeur: Éditions universitaires européennes

Livre dans la base de données depuis 2007-03-16T06:55:40+01:00 (Zurich)
Page de détail modifiée en dernier sur 2024-02-03T15:21:38+01:00 (Zurich)
ISBN/EAN: 9786131534706

ISBN - Autres types d'écriture:
613-1-53470-5, 978-613-1-53470-6
Autres types d'écriture et termes associés:
Auteur du livre: lohr, löhr, christophé
Titre du livre: lotos, temps temps

< pour archiver...