. .
Deutsch
Deutschland
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Get it on iTunesJetzt bei Google Play
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 64,32 €, größter Preis: 78,50 €, Mittelwert: 69,16 €
Contribution à la conception de systèmes temps-réel - Christophe Lohr
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christophe Lohr:

Contribution à la conception de systèmes temps-réel - Taschenbuch

ISBN: 9786131534706

ID: 9786131534706

Utilisation de la technique de description formelle RT-Lotos 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. Contribution à la conception de systèmes temps-réel: 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., Editions Universitaires Europeennes EUE

Neues Buch Rheinberg-Buch.de
Taschenbuch, Französisch, Neuware Versandkosten:Ab 20¤ Versandkostenfrei in Deutschland, Sofort lieferbar, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Contribution à la conception de systèmes temps-réel - Christophe Lohr
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Christophe Lohr:

Contribution à la conception de systèmes temps-réel - neues Buch

2014, ISBN: 9786131534706

ID: 215698542

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. Utilisation de la technique de description formelle RT-Lotos Bücher > Fremdsprachige Bücher > Französische Bücher Taschenbuch 06.05.2014, Éditions universitaires européennes, .201

Neues Buch Buch.ch
No. 25237297 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Contribution à la conception de systèmes temps-réel - Christophe Lohr
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christophe Lohr:
Contribution à la conception de systèmes temps-réel - neues Buch

ISBN: 9786131534706

ID: ef3587cb6c6d3e117ad0b1907d138ac3

Utilisation de la technique de description formelle RT-Lotos 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. Bücher / Fremdsprachige Bücher / Französische Bücher 978-613-1-53470-6, Éditions universitaires européennes

Neues Buch Buch.de
Nr. 25237297 Versandkosten:Bücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, Sofort lieferbar, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Contribution à la conception de systèmes temps-réel - Christophe Lohr
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christophe Lohr:
Contribution à la conception de systèmes temps-réel - neues Buch

ISBN: 9786131534706

ID: 116310181

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. Utilisation de la technique de description formelle RT-Lotos Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Französische Bücher, Éditions universitaires européennes

Neues Buch Thalia.de
No. 25237297 Versandkosten:, Sofort lieferbar, DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Contribution à la conception de systèmes temps-réel - Christophe Lohr
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christophe Lohr:
Contribution à la conception de systèmes temps-réel - neues Buch

ISBN: 9786131534706

ID: 968303b951fd439eaa7e442d78df5459

Bücher / Naturwissenschaften, Medizin, Informatik & Technik / Informatik & EDV

Neues Buch Dodax.de
Nr. 57d817a4d9303508f0717740 Versandkosten:Versandkosten: 0.0 EUR, Lieferzeit: 5 Tage, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Contribution à la conception de systèmes temps-réel
Autor:

Lohr, Christophe

Titel:

Contribution à la conception de systèmes temps-réel

ISBN-Nummer:

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.

Detailangaben zum Buch - Contribution à la conception de systèmes temps-réel


EAN (ISBN-13): 9786131534706
ISBN (ISBN-10): 6131534705
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2014
Herausgeber: AV Akademikerverlag GmbH & Co. KG.

Buch in der Datenbank seit 16.03.2007 06:55:40
Buch zuletzt gefunden am 20.11.2016 19:09:48
ISBN/EAN: 9786131534706

ISBN - alternative Schreibweisen:
613-1-53470-5, 978-613-1-53470-6

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher