- 5 Ergebnisse
Kleinster Preis: € 62,13, größter Preis: € 172,00, Mittelwert: € 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
Bestellen
bei Amazon.de (Intern. Bücher)
€ 172,00
Versand: € 3,001
Bestellengesponserter Link
Lohr, Christophe:

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

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… Mehr…

Gebraucht, wie neu. Versandkosten:Gewö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
2
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Lohr, Christophe
Bestellen
bei Amazon.de (Intern. Bücher)
€ 62,13
Versand: € 3,001
Bestellengesponserter Link

Lohr, Christophe:

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

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… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
3
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Lohr, Christophe
Bestellen
bei Amazon.de (Intern. Bücher)
€ 69,00
Versand: € 0,001
Bestellengesponserter Link
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Taschenbuch

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… Mehr…

Versandkosten:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
4
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Lohr, Christophe
Bestellen
bei Amazon.de (Intern. Bücher)
€ 172,00
Versand: € 3,001
Bestellengesponserter Link
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Taschenbuch

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… Mehr…

Gebraucht, wie neu. Versandkosten:Gewö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
5
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Lohr, Christophe
Bestellen
bei Amazon.de (Intern. Bücher)
€ 62,13
Versand: € 3,001
Bestellengesponserter Link
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Taschenbuch

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… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

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

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.

Detailangaben zum Buch - 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
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2014
Herausgeber: Éditions universitaires européennes

Buch in der Datenbank seit 2007-03-16T06:55:40+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-03T15:21:38+01:00 (Zurich)
ISBN/EAN: 9786131534706

ISBN - alternative Schreibweisen:
613-1-53470-5, 978-613-1-53470-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: lohr, löhr, christophé
Titel des Buches: lotos, temps temps


< zum Archiv...