2023
Journal articles
- titre
- Convolutional Neural Network Bootstrapped by Dynamic Segmentation and Stigmergy-Based Encoding for Real-Time Human Activity Recognition in Smart Homes
- auteur
- Houda Najeh, Christophe Lohr, Benoit Leduc
- article
- Sensors, 2023, 23 (4), pp.1969. ⟨10.3390/s23041969⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Considering the mutual information criterion for sensor configuration selection in human activity recognition in smart homes
- auteur
- Houda Najeh, Christophe Lohr, Benoit Leduc
- article
- BS2023, Sep 2023, Shanghai, China
- Accès au texte intégral et bibtex
-
- titre
- A virtual assistant dedicated to the accompaniment of the person informed of his life context thanks to the smartphone
- auteur
- Florian Szczepaniak, Jérôme Boudy, Gérard Chollet, Mossaab Hariz, Christophe Lohr
- article
- 16th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA '23), University of Texas at Arlington, USA, Jul 2023, Corfou, Greece. pp.662-666, ⟨10.1145/3594806.3596594⟩
- Accès au texte intégral et bibtex
-
- titre
- Un assistant virtuel dédié à l'accompagnement de la personne, averti de son contexte de vie, grâce au smartphone
- auteur
- Florian Szczepaniak, Jérôme Boudy, Gérard Chollet, Mossaab Hariz, Christophe Lohr
- article
- 9ème Colloque sur la Télésanté : "Dispositifs biomédicaux et technologies numériques en santé: des besoins aux usages" (JETSAN 2023), Université Paris 8; Sorbonne Université, Jun 2023, Paris, France
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- Dynamic Segmentation of Sensor Events for Real-Time Human Activity Recognition in a Smart Home Context
- auteur
- Houda Najeh, Christophe Lohr, Benoit Leduc
- article
- Sensors, 2022, 22 (14), pp.5458. ⟨10.3390/s22145458⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Real-Time Human Activity Recognition in Smart Home on Embedded Equipment: New Challenges
- auteur
- Houda Najeh, Christophe Lohr, Benoit Leduc
- article
- ICOST 2022: 19th International Conference on Smart Homes and Health Telematics, Jun 2022, Paris, France. pp.125-138, ⟨10.1007/978-3-031-09593-1_10⟩
- Accès au texte intégral et bibtex
-
- titre
- Empowering well-being through conversational coaching for active and healthy ageing
- auteur
- Michael Mctear, Kristiina Jokinen, Gérard Chollet, Christophe Lohr, Jérôme Boudy, Mohnish Dubey, Sonja Dana Roelen, Wanja Mössing, Rainer Wieching
- article
- Participative Urban Health and Healthy Aging in the Age of AI - 19th International Conference, ICOST 2022, Paris, France, June 2022, Springer, Hamdi Aloulou, Bessam Abdulrazak, Antoine de Marassé-Enouf, Mounir Mokhtari, Jun 2022, PARIS, France
- Accès au texte intégral et bibtex
-
- titre
- Towards supervised real-time human activity recognition on embedded equipment
- auteur
- Houda Najeh, Christophe Lohr, Benoit Leduc
- article
- MetroLivEn 2022: IEEE International Workshop on Metrology for Living Environment, May 2022, Cosenza, Italy. pp.54-59, ⟨10.1109/MetroLivEnv54405.2022.9826937⟩
- Accès au texte intégral et bibtex
-
- titre
- Digital Twin Driven Smart Home: A Feasibility Study
- auteur
- Alireza Asvadi, Andrei Mitriakov, Christophe Lohr, Panagiotis Papadakis
- article
- 9th International Conference On Smart Living and Public Health (ICOST 2022), 2022, Paris, France
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- Model-driven deployment of Digital Twins for Smart Environments - The HUman at home projecT case study
- auteur
- Alireza Asvadi, Gaëlic Bechu, Antoine Beugnard, Caroline G. L. Cao, Christophe Lohr, Panagiotis Papadakis, Quentin Perez, Christelle Urtado, Sylvain Vauttier
- article
- Journées nationales du GDR GPL 2022, Jun 2022, Vannes, France. , 13, 2022, Actes des journées du GDR GPL 2022
- Accès au texte intégral et bibtex
-
2021
Journal articles
- titre
- Using Language Model to Bootstrap Human Activity Recognition Ambient Sensors Based in Smart Homes
- auteur
- Damien Bouchabou, Sao Mai Nguyen, Christophe Lohr, Benoit Leduc, Ioannis Kanellos
- article
- Electronics, 2021, 10 (20), pp.2498. ⟨10.3390/electronics10202498⟩
- Accès au texte intégral et bibtex
-
- titre
- A Survey of Human Activity Recognition in Smart Homes Based on IoT Sensors Algorithms: Taxonomies, Challenges, and Opportunities with Deep Learning
- auteur
- Damien Bouchabou, Sao Mai Nguyen, Christophe Lohr, Benoit Leduc, Ioannis Kanellos
- article
- Sensors, 2021, 21, ⟨10.3390/s21186037⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Gestion d'interaction Humain-Cobot pour l'exécution de tâches en cuisine
- auteur
- Samia Benferhat, Florent Frizon de Lamotte, Christophe Lohr, Jean-Luc Philippe
- article
- JETSAN 2021 - Colloque en Télésanté et dispositifs biomédicaux - 8ème édition, Université Toulouse III - Paul Sabatier [UPS], May 2021, Toulouse, Blagnac, France
- Accès au texte intégral et bibtex
-
- titre
- Fully Convolutional Network Bootstrapped by Word Encoding and Embedding for Activity Recognition in Smart Homes
- auteur
- Damien Bouchabou, Sao Mai Nguyen, Christophe Lohr, Ioannis Kanellos, Benoit Leduc
- article
- DL-HAR 2021: 2nd International Workshop on Deep Learning for Human Activity Recognition, Jan 2021, Yokohama, Japan. pp.111-125, ⟨10.1007/978-981-16-0575-8_9⟩
- Accès au texte intégral et bibtex
-
Dictionary entry
- titre
- Human Activity Recognition (HAR) in Smart Homes
- auteur
- Damien Bouchabou, Christophe Lohr, Ioannis Kanellos, Sao Mai Nguyen
- article
- 2021, https://encyclopedia.pub/17108
- Accès au texte intégral et bibtex
-
2020
Journal articles
- titre
- Improvements of the xAAL Home Automation System
- auteur
- Christophe Lohr, Jérôme Kerdreux
- article
- Future internet, 2020, 12 (6), pp.104. ⟨10.3390/fi12060104⟩
- Accès au texte intégral et bibtex
-
- titre
- Building An Automated Gesture Imitation Game For Teenagers with ASD
- auteur
- Linda Nanan N Vallée, Christophe Lohr, Sao Mai Nguyen, Ioannis Kanellos, O. Asseu
- article
- Far East Journal of Electronics and Communications, 2020, 23 (1), pp.1 - 10. ⟨10.17654/EC023010001⟩
- Accès au texte intégral et bibtex
-
- titre
- Human Skeleton Detection, Modeling and Gesture Imitation Learning for a Social Purpose
- auteur
- Linda Nanan Vallée, Sao Mai Nguyen, Christophe Lohr, Ioannis Kanellos, Olivier Asseu
- article
- Engineering, 2020, 12 (02), pp.90-98. ⟨10.4236/eng.2020.122009⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- How An Automated Gesture Imitation Game Can Improve Social Interactions With Teenagers With ASD
- auteur
- Linda Nanan Vallée, Sao Mai Nguyen, Christophe Lohr, Ioannis Kanellos, Olivier Asseu
- article
- IEEE ICRA Workshop on Social Robotics for Neurodevelopmental Disorders, Jun 2020, Paris, France. ⟨10.13140/RG.2.2.10961.25444⟩
- Accès au texte intégral et bibtex
-
2019
Poster communications
- titre
- An implementation of an imitation game with ASD children to learn nursery rhymes
- auteur
- Sao Mai Nguyen, Nathalie Collot-Lavenne, Christophe Lohr, Sébastien Guillon, Patricio Tula, Alvaro Paez, Mouad Bouaida, Arthus Anin, Saad El Qacemi
- article
- HAI 2019 Workshop on Clinical Use of Technology for Individuals with Autism Spectrum Disorder, Oct 2019, Kyoto, Japan
- Accès au texte intégral et bibtex
-
2018
Conference papers
- titre
- System Design for Coordinated Multi-Robot Assistance Deployment in Smart Spaces
- auteur
- Panagiotis Papadakis, Christophe Lohr, Marin Lujak, Abir B Karami, Ioannis Kanellos, Guillaume Lozenguez, Anthony Fleury
- article
- IRC 2018 : Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, United States. ⟨10.1109/IRC.2018.00068⟩
- Accès au texte intégral et bibtex
-
2017
Journal articles
- titre
- Plug and play your robot into your smart home: Illustration of a new framework
- auteur
- Sao Mai Nguyen, Christophe Lohr, Philippe Tanguy, Yiqiao Chen
- article
- KI - Künstliche Intelligenz, 2017, 31 (3), pp.283 - 289. ⟨10.1007/s13218-017-0494-8⟩
- Accès au texte intégral et bibtex
-
- titre
- Télé-rééducation fonctionnelle dans le cadre du projet VITAAL
- auteur
- André Thépaut, Sao Mai Nguyen, Christophe Lohr
- article
- Actualités en médecine physique et de réadaptation, 2017, 1, pp.18-19
- Accès au texte intégral et bibtex
-
- titre
- A Transparent home Sensors/Actuators layer for Health &Well-being services
- auteur
- Philippe Tanguy, Mathieu Simonnet, Christophe Lohr, Jérôme Kerdreux
- article
- EAI endorsed transactions on pervasive health and technology, 2017, 3 (11), pp.1 - 7. ⟨10.4108/eai.18-7-2017.152900⟩
- Accès au texte intégral et bibtex
-
2016
Conference papers
- titre
- Performance Analysis of NEMO augmented with MPTCP
- auteur
- Pratibha Mitharwal, Christophe Lohr, Annie Gravey
- article
- NTMS 2016 : International Conference on New Technologies, Mobility and Security , Nov 2016, Larnaca, Cyprus. pp.1 - 5, ⟨10.1109/NTMS.2016.7792468⟩
- Accès au texte intégral et bibtex
-
- titre
- Choosing security elements for the xAAL home automation system
- auteur
- Christophe Lohr, Philippe Tanguy, Jérôme Kerdreux
- article
- ATC 2016 : 13th IEEE International Conference on Advanced and Trusted Computing, Jul 2016, Toulouse, France. pp.534 - 541, ⟨10.1109/uic-atc-scalcom-cbdcom-iop-smartworld.2016.0093⟩
- Accès au texte intégral et bibtex
-
- titre
- A Transparent home Sensors/Actuators layer for Health & Well-being services
- auteur
- Philippe Tanguy, Christophe Lohr, Jérôme Kerdreux
- article
- IoTCare 2016 : EAI (European Alliance for Innovation) International Conference on IoT and Big Data Technologies for HealthCare, Jun 2016, Budapest, Hungary. pp.29 - 35, ⟨10.1007/978-3-319-49655-9_5⟩
- Accès au texte intégral et bibtex
-
2015
Journal articles
- titre
- xAAL: A Distributed Infrastructure for Heterogeneous Ambient Devices
- auteur
- Christophe Lohr, Philippe Tanguy, Jérôme Kerdreux
- article
- Journal of intelligent systems, 2015, 24 (3), pp.321 - 331. ⟨10.1515/jisys-2014-0144⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Boosting NEMO with Multi-Path TCP
- auteur
- Pratibha Mitharwal, Christophe Lohr, Annie Gravey
- article
- NoF 2015 : 6th International Conference On Network of the Future, Sep 2015, Montreal, Canada. pp.1 - 7, ⟨10.1109/NOF.2015.7333299⟩
- Accès au texte intégral et bibtex
-
- titre
- MPTCP Solution for Seamless Local SIPTO Mobility
- auteur
- Souheir Eido, Pratibha Mitharwal, Annie Gravey, Christophe Lohr
- article
- HPSR 2015 : 16th International Conference on High Performance Switching and Routing , Jul 2015, Budapest, Hungary. pp.1 - 6, ⟨10.1109/HPSR.2015.7483099⟩
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- The software option
- auteur
- André Thépaut, Maria-Teresa Segarra, Christophe Lohr
- article
- International Innovation, 2014, 157
- Accès au bibtex
-
Conference papers
- titre
- Survey on Network Interface Selection in Multihomed Mobile Networks
- auteur
- Pratibha Mitharwal, Christophe Lohr, Annie Gravey
- article
- 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop (EUNICE 2014), Sep 2014, Rennes, France. pp.134-146, ⟨10.1007/978-3-319-13488-8_13⟩
- Accès au texte intégral et bibtex
-
- titre
- A comparison between Ambient Assisted Living Systems
- auteur
- Molham Darwish, Eric Senn, Christophe Lohr, Yvon Kermarrec
- article
- ICOST 2014 : 12th International Conference on Smart Homes and Health Telematics, Jun 2014, Denver, United States. pp.231 - 237, ⟨10.1007/978-3-319-14424-5_26⟩
- Accès au texte intégral et bibtex
-
2013
Journal articles
- titre
- AMALYS : Services multimedias pour l'Aide au MAintien du Lien Social
- auteur
- André Thépaut, Jérôme Kerdreux, Christophe Lohr, Maria-Teresa Segarra, Guillaume Yclon, Jean-Jacques Hennin, Tahar Boussaha
- article
- La Revue francophone de gériatrie et de gérontologie, 2013, 38 (4), pp.267 - 272
- Accès au texte intégral et bibtex
-
2012
Conference papers
- titre
- A Framework for Unified Traffic Dynamic Routing at Private-Public Network Border
- auteur
- Sajjad Ali Mushtaq, Christophe Lohr, Annie Gravey
- article
- ICC 2012 : 3rd IEEE International Workshop on SmArt COmmunications in NEtwork Technologies, Jun 2012, Ottawa, Canada
- Accès au bibtex
-
2011
Journal articles
- titre
- Network management and control framework for hybrid converged environment
- auteur
- Sajjad Ali Mushtaq, Christophe Lohr, Annie Gravey
- article
- Cyber Journals: Multidisciplinary Journals in Science and Technology, 2011, pp.45-55
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- MCDM method and semantics integration for unified communication management and control
- auteur
- Sajjad Ali Mushtaq, Christophe Lohr, Annie Gravey
- article
- FIT 2011: Frontiers of Information Technology, Dec 2011, Islamabad, Pakistan. pp.263-269, ⟨10.1109/FIT.2011.56⟩
- Accès au bibtex
-
- titre
- An integration of semantics in multi criteria decision making for converged multimedia network management
- auteur
- Sajjad Ali Mushtaq, Christophe Lohr, Annie Gravey
- article
- IEEE GLOBECOM 2011: Enabling Green Wireless Multimedia Communications, Dec 2011, Houston, Texas, United States. pp.712-717
- Accès au texte intégral et bibtex
-
- titre
- Dynamic decision engine for unified communication
- auteur
- Sajjad Ali Mushtaq, Christophe Lohr, Annie Gravey
- article
- 14th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems , Oct 2011, Miami Beach, Fl, United States. pp.31 - 40, ⟨10.1145/2069117.2069125⟩
- Accès au bibtex
-
- titre
- From individual communication to social networks: evolution of a technical platform for the elderly
- auteur
- Cécile Bothorel, Christophe Lohr, André Thépaut, Fabrice Bonnaud, Gilbert Cabasse
- article
- ICOST 2011: International Conference On Smart homes and health Telematics, Jun 2011, Montréal, Canada. pp.145-152, ⟨10.1007/978-3-642-21535-3_19⟩
- Accès au texte intégral et bibtex
-
- titre
- Dynamic decision engine for data connections routing
- auteur
- Sajjad Ali Mushtaq, Christophe Lohr, Annie Gravey
- article
- INTERNET 2011: Third International Conference on Evolving Internet, Jun 2011, Luxembourg, Luxembourg
- Accès au bibtex
-
- titre
- Decision engine for SIP based dynamic call routing
- auteur
- Sajjad Ali Mushtaq, Christophe Lohr, Annie Gravey
- article
- 5th International Conference on Autonomous Infrastructure, Management and Security, Jun 2011, Nancy France
- Accès au bibtex
-
- titre
- Decision Engine for SIP Based Dynamic Call Routing
- auteur
- Sajjad Ali Musthaq, Christophe Lohr, Annie Gravey
- article
- 5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.86-99, ⟨10.1007/978-3-642-21484-4_12⟩
- Accès au texte intégral et bibtex
-
2010
Conference papers
- titre
- Adaptation and customization of services for the elderly
- auteur
- André Thépaut, Maria-Teresa Segarra, Christophe Lohr, Pierre-Marie Chapon
- article
- 7th world conference ISG10: International Society for Gerontechnology , May 2010, Vancouver, Canada
- Accès au texte intégral et bibtex
-
Books
- titre
- Contribution à la conception de systèmes temps-réel : utilisation de la technique de description formelle RT-Lotos
- auteur
- Christophe Lohr
- article
- Éditions universitaires européennes, pp.204, 2010, 978-613-1-534
- Accès au bibtex
-
2008
Conference papers
- titre
- Distributed call admission control in SIP based multimedia communication
- auteur
- Sajjad Ali Mushtaq, Osman Salem, Christophe Lohr, Annie Gravey
- article
- NEM Summit 2008 : international congress on Networked Electronic Media, october 13-15, Saint Malo, France, Oct 2008, Saint-Malo, France
- Accès au texte intégral et bibtex
-
- titre
- Policy-based QoS management for multimedia communication
- auteur
- Sajjad Ali Mushtaq, Osman Salem, Christophe Lohr, Annie Gravey
- article
- 14th Eunice Open European Summer School, september 8-10 Brest, France, Sep 2008, Brest, France
- Accès au texte intégral et bibtex
-
2007
Conference papers
- titre
- M@LIS : un cahier de vie pour les enfants souffrant d'IMC
- auteur
- Sylvie Pronost, Jérôme Kerdreux, Christophe Lohr, Maria-Teresa Segarra, André Thépaut
- article
- ASSISTH'2007 : 1ère Conférence Internationale sur l'accessibilité et les systèmes de suppléance aux personnes en situation de handicap,, Dec 2007, Toulouse, France
- Accès au texte intégral et bibtex
-
2006
Journal articles
- titre
- Évolution d'une application orientée services vers les Services Web
- auteur
- André Thépaut, Jérôme Kerdreux, Yvon Kermarrec, Christophe Lohr, Philippe Normand
- article
- Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2006, 76, pp.35 - 41
- Accès au texte intégral et bibtex
-
2005
Book sections
- titre
- Early Validation of Deployment and Scheduling Constraints for MSC Specifications
- auteur
- Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao Jun Zhang, Tong Zheng
- article
- Amyot, Danieland Williams, Alan W. System Analysis and Modeling: 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1‐4, 2004, Revised Selected Papers, Springer Berlin Heidelberg, pp.106--121, 2005, 978‐3‐540‐31810‐1. ⟨10.1007/978-3-540-31810-1_8⟩
- Accès au bibtex
-
2004
Journal articles
- titre
- TURTLE: a real‐time UML profile supported by a formal validation toolkit
- auteur
- Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes
- article
- IEEE Transactions on Software Engineering, 2004, 30 (7), pp.473--487
- Accès au bibtex
-
- titre
- Verifying service continuity in a satellite reconfiguration procedure
- auteur
- Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr
- article
- Automated Software Engineering, 2004, 11, pp.167--192
- Accès au bibtex
-
Conference papers
- titre
- Derniers développements autour du profil UML temps réel TURTLE
- auteur
- Pierre de Saqui-Sannes, Ludovic Apvrille, Christophe Lohr, Jean-Pierre Courtiat
- article
- Journées "Formalisation des Activités Concurrentes" (FAC'2004), 2004, Unknown, Région indéterminée. pp.--12
- Accès au bibtex
-
- titre
- TURTLE : un pont entre UML et RT‐LOTOS
- auteur
- Pierre de Saqui-Sannes, Ludovic Apvrille, Christophe Lohr, Jean-Pierre Courtiat
- article
- Conference AFADL'2004. Approches Formelles dans l'Assistance au Développement de Logiciels, 2004, Unknown, Région indéterminée. pp.--4
- Accès au bibtex
-
2003
Conference papers
- titre
- New operators for the TURTLE real‐time UML profile
- auteur
- Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
- article
- 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object‐Based Distributed Systems (FMOODS'2003), 2003, Unknown, Unknown Region
- Accès au bibtex
-
2002
Journal articles
- titre
- UML and RT‐LOTOS. An integration for real‐time system validation
- auteur
- Pierre de Saqui-Sannes, Ludovic Apvrille, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat
- article
- Journal Européen des Systèmes Automatisés (JESA), 2002, 36 (7), pp.1029--1042
- Accès au bibtex
-
Conference papers
- titre
- De la spécification à l'ordonnancement de systèmes contraints par le temps
- auteur
- Christophe Lohr, Jean-Pierre Courtiat
- article
- 9ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2002), 2002, Unknown, Région indéterminée. pp.209--222
- Accès au bibtex
-
- titre
- From the specification to the scheduling of time‐dependent systems
- auteur
- Christophe Lohr, Jean-Pierre Courtiat
- article
- 7th International Symposium on Formal Techniques in Real‐Time and Fault‐Tolerant Systems (FTRTFT'2002), 2002, Unknown, Unknown Region
- Accès au bibtex
-
- titre
- Reconfiguration dynamique de protocoles embarqués à bord de satellites
- auteur
- Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr
- article
- 9ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2002), 2002, Unknown, Région indéterminée. pp.441--454
- Accès au bibtex
-
Theses
- titre
- Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-Lotos
- auteur
- Christophe Lohr
- article
- Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2002. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2001
Conference papers
- titre
- A new UML profile for real‐time system formal design and validation
- auteur
- Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat
- article
- 4th International Conference on the Unified Modeling Language (UML'2001), 2001, Unknown, Unknown Region
- Accès au bibtex
-
- titre
- An integrated environment for the presentation of consistent SMIL 2.0 documents
- auteur
- Paulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat
- article
- ACM Symposium on Document Engineering (DocEng'01), 2001, Unknown, Unknown Region. pp.115--124
- Accès au bibtex
-
- titre
- UML et RT‐LOTOS. Vers une intégration informel/formel au service de la validation de systèmes temps réel
- auteur
- Pierre de Saqui-Sannes, Ludovic Apvrille, Christophe Lohr, Jean-Pierre Courtiat
- article
- Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'2001), 2001, Unknown, Région indéterminée. pp.513--528
- Accès au bibtex
-
2000
Journal articles
- titre
- Expérience with RT‐LOTOS, a temporal extension of the LOTOS formal description technique
- auteur
- Jean-Pierre Courtiat, Celso Santos, Christophe Lohr, Benaceur Outtaj
- article
- Computer Communications, 2000, 23 (12), pp.1104--1123
- Accès au bibtex
-