Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
LAAS-IC : Crucial Computing
Home
LAAS-IC Presentation
Browse
Documents list
List by authors
List by years
List by subjects
List by document types
List by collections
Search
Publishers copyright policies
Copyright FAQ
SHERPA/RoMEO
Héloïse
Submit
Links
LAAS-IC
LAAS
HAL-LAAS
Browse
List by collections
The
Crucial Computing
LAAS deparment
includes the following collections :
LAAS-TSF
- Dependable Computing and Fault Tolerance Team
LAAS-VERTICS
- Verification of Time Critical Systems Team
LAAS-ISI
- System Engineering and Integration Team
