News
Get to LIFC
Intranet
Login
LIFC - Conferences
First International workshop on Verification and Validation of multi-agent models for complex systems
The 7th International B Conference
Conférence AFADL'2004
The Laboratory
Presentation
Rapports LIFC
Actualités
Séminaires
Conférences
How To Find Us
LIFC Members
BIATOSS
PhD students
Contract Workers
Assistant professor
PAST
PRAG
Professors
Former Members
Research Teams
AND
CARTOON
OMNI
VESONTIO
Research Activities
AND
Distributed algorithms for sensor networks
Numerical distributed algorithms
Dynamic Systems
CARTOON
Distributed Algorithms for Synchronous Collaborative Applications
Grid Environments and scheduling
Wireless Sensor Network
OMNI
Mobile and Multi-Scale Networks
VESONTIO
Automated Model-Based Testing
Security and Accuracy of Information Systems and Communications
Verification, Validation of Software Components and Micro/nano Systems
Projects
Publications
Teaching
IUT d'informatique (Belfort-Monbéliard)
UFR ST Dept. Informatique (Besançon)
UFR STGI Dept. Informatique (Monbéliard)
Directory
