- 5 Results
Lowest price: € 62.13, highest price: € 172.00, average price: € 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
Order
at Amazon.de (Intern. Bücher)
€ 172.00
Shipment: € 3.001
Order
Provider details
Sponsored link
Lohr, Christophe:

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

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… More...

Gebraucht, wie neu. Shipping costs: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
close (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
Order
at Amazon.de (Intern. Bücher)
€ 62.13
Shipment: € 3.001
Order
Provider details
Sponsored link

Lohr, Christophe:

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

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… More...

Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
close (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
Order
at Amazon.de (Intern. Bücher)
€ 69.00
Shipment: € 0.001
Order
Provider details
Sponsored link
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Paperback

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… More...

Shipping costs:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
close (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
Order
at Amazon.de (Intern. Bücher)
€ 172.00
Shipment: € 3.001
Order
Provider details
Sponsored link
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Paperback

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… More...

Gebraucht, wie neu. Shipping costs: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
close (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
Order
at Amazon.de (Intern. Bücher)
€ 62.13
Shipment: € 3.001
Order
Provider details
Sponsored link
Lohr, Christophe:
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Paperback

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… More...

Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.)
Author:
Title:
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.

Details of the book - 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
Hardcover
Paperback
Publishing year: 2014
Publisher: Éditions universitaires européennes

Book in our database since 2007-03-16T05:55:40+00:00 (London)
Detail page last modified on 2024-02-03T14:21:38+00:00 (London)
ISBN/EAN: 9786131534706

ISBN - alternate spelling:
613-1-53470-5, 978-613-1-53470-6
Alternate spelling and related search-keywords:
Book author: lohr, löhr, christophé
Book title: lotos, temps temps

< to archive...