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

0 avg rating
( 0 ratings by Goodreads )
 
9786131534706: Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) (French Edition)

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.

"synopsis" may belong to another edition of this title.

About the Author:

Christophe Lohr, ingénieur et docteur en informatique, études dessystèmes temps réels au LAAS-CNRS et à l'Université Concordia.Enseignant-chercheur à Télécom Bretagne, Brest, France.

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 96.00
US$ 69.59

Convert Currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Christophe Lohr
Published by Univ Europeenne, United States (2014)
ISBN 10: 6131534705 ISBN 13: 9786131534706
New Paperback Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description Univ Europeenne, United States, 2014. Paperback. Book Condition: New. Language: French . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. Cet ouvrage s interesse a la conception de systemes temps-reel en s appuyant sur la methode formelle RT-Lotos, extension temporelle a l algebre de processus Lotos. Il aborde plusieurs points relatifs a la specification, la validation et l ordonnancement de systemes concurrents sujets a des contraintes logiques et temporelles. La premiere partie presente le langage RT-Lotos et la technique de verification formelle associee basee sur une analyse d accessibilite. La deuxieme partie etudie la notion de coherence temporelle et propose une technique basee sur l analyse du graphe des regions ainsi qu un modele formel pour exploiter sous un nouvel angle des informations issues de la verification formelle. Enfin, la troisieme partie se penche sur les liens possibles entre methodes formelles et semi-formelles. Dans ce cadre, nous proposons une semantique formelle pour les diagrammes UML s appuyant sur RT-Lotos. Ainsi, nous definissons une methodologie qui s inscrit dans les techniques de developpement industriel classiques et qui permet une verification formelle de systemes temps-reel. Bookseller Inventory # OMN9786131534706

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 69.59
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Christophe Lohr
Published by Univ Europeenne, United States (2014)
ISBN 10: 6131534705 ISBN 13: 9786131534706
New Paperback Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Univ Europeenne, United States, 2014. Paperback. Book Condition: New. Language: French . Brand New Book. Cet ouvrage s interesse a la conception de systemes temps-reel en s appuyant sur la methode formelle RT-Lotos, extension temporelle a l algebre de processus Lotos. Il aborde plusieurs points relatifs a la specification, la validation et l ordonnancement de systemes concurrents sujets a des contraintes logiques et temporelles. La premiere partie presente le langage RT-Lotos et la technique de verification formelle associee basee sur une analyse d accessibilite. La deuxieme partie etudie la notion de coherence temporelle et propose une technique basee sur l analyse du graphe des regions ainsi qu un modele formel pour exploiter sous un nouvel angle des informations issues de la verification formelle. Enfin, la troisieme partie se penche sur les liens possibles entre methodes formelles et semi-formelles. Dans ce cadre, nous proposons une semantique formelle pour les diagrammes UML s appuyant sur RT-Lotos. Ainsi, nous definissons une methodologie qui s inscrit dans les techniques de developpement industriel classiques et qui permet une verification formelle de systemes temps-reel. Bookseller Inventory # KNV9786131534706

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 73.41
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Christophe Lohr
Published by Univ Europeenne 2010-10-07 (2010)
ISBN 10: 6131534705 ISBN 13: 9786131534706
New paperback Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Univ Europeenne 2010-10-07, 2010. paperback. Book Condition: New. Bookseller Inventory # 9786131534706

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 69.60
Convert Currency

Add to Basket

Shipping: US$ 7.95
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Christophe Lohr
Published by Univ Europeenne, United States (2014)
ISBN 10: 6131534705 ISBN 13: 9786131534706
New Paperback Quantity Available: 1
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Univ Europeenne, United States, 2014. Paperback. Book Condition: New. Language: French . Brand New Book. Cet ouvrage s interesse a la conception de systemes temps-reel en s appuyant sur la methode formelle RT-Lotos, extension temporelle a l algebre de processus Lotos. Il aborde plusieurs points relatifs a la specification, la validation et l ordonnancement de systemes concurrents sujets a des contraintes logiques et temporelles. La premiere partie presente le langage RT-Lotos et la technique de verification formelle associee basee sur une analyse d accessibilite. La deuxieme partie etudie la notion de coherence temporelle et propose une technique basee sur l analyse du graphe des regions ainsi qu un modele formel pour exploiter sous un nouvel angle des informations issues de la verification formelle. Enfin, la troisieme partie se penche sur les liens possibles entre methodes formelles et semi-formelles. Dans ce cadre, nous proposons une semantique formelle pour les diagrammes UML s appuyant sur RT-Lotos. Ainsi, nous definissons une methodologie qui s inscrit dans les techniques de developpement industriel classiques et qui permet une verification formelle de systemes temps-reel. Bookseller Inventory # KNV9786131534706

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 77.74
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Christophe Lohr
Published by Univ Européenne (2010)
ISBN 10: 6131534705 ISBN 13: 9786131534706
New Softcover Quantity Available: 1
Seller:
Gallix
(Gif sur Yvette, France)
Rating
[?]

Book Description Univ Européenne, 2010. Book Condition: Neuf. Bookseller Inventory # 9786131534706

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 83.82
Convert Currency

Add to Basket

Shipping: US$ 5.02
From France to U.S.A.
Destination, Rates & Speeds

6.

LOHR-C
Published by OmniScriptum (2016)
ISBN 10: 6131534705 ISBN 13: 9786131534706
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description OmniScriptum, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9786131534706_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 85.69
Convert Currency

Add to Basket

Shipping: US$ 5.13
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Christophe Lohr
Published by Omniscriptum (2015)
ISBN 10: 6131534705 ISBN 13: 9786131534706
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Omniscriptum, 2015. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9786131534706

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 79.45
Convert Currency

Add to Basket

Shipping: US$ 11.94
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Christophe Lohr
Published by Omniscriptum (2010)
ISBN 10: 6131534705 ISBN 13: 9786131534706
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Omniscriptum, 2010. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9786131534706

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 90.07
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

9.

Christophe Lohr
Published by Editions Universitaires Europeennes EUE Mai 2014 (2014)
ISBN 10: 6131534705 ISBN 13: 9786131534706
New Taschenbuch Quantity Available: 2
Seller:
Agrios-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Editions Universitaires Europeennes EUE Mai 2014, 2014. Taschenbuch. Book Condition: Neu. Neuware - 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. 204 pp. Französisch. Bookseller Inventory # 9786131534706

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 83.82
Convert Currency

Add to Basket

Shipping: US$ 20.22
From Germany to U.S.A.
Destination, Rates & Speeds

10.

Christophe Lohr
Published by Editions Universitaires Europeennes EUE Mai 2014 (2014)
ISBN 10: 6131534705 ISBN 13: 9786131534706
New Taschenbuch Quantity Available: 2
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Editions Universitaires Europeennes EUE Mai 2014, 2014. Taschenbuch. Book Condition: Neu. Neuware - 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. 204 pp. Französisch. Bookseller Inventory # 9786131534706

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 83.82
Convert Currency

Add to Basket

Shipping: US$ 20.22
From Germany to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book