Search

Your search keyword '"Joël Toussaint"' showing total 10 results
Start Over Author "Joël Toussaint"
10 results on '"Joël Toussaint"'

9. Chapitre 2. Les acteurs de l’immobilier

Author

Avi Amsellem, Marie-Laure Baffoy, Laurent Batsch, Denis Burckel, Ludovic Charpentier, Blaise Heurteux, Jamal Id Brik, Christian de Kerangal, Thomas Le Diouron, Xavier Perrin, Dominique Picard, Abdallah Ould Brahim, Joël Toussaint, and Guillaume Turcas

Published
2021
Full Text
View/download PDF

10. A Model of CAN-Based Applications for the Verification of Temporal Properties

Author

Christophe Philippe, Françoise Simonot-Lion, and Joël Toussaint

Subjects
Formalism (philosophy of mathematics), Theoretical computer science, Computer science, Real-time communication, Distributed computing, Dependability, Process architecture, Petri net, CAN bus
Abstract

This paper presents a model of CAN based application able to support verification of certain dependability constraints which are relevant of communication and time. The document describes the mechanism of CAN network and presents the basic concepts for the modelling process, generic models of cooperation between communicating functions and their expression thanks to the time Petri Nets formalism. An example illustrates the modelling methodology.

Published
1997
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results