La collection du département Informatique Critique du LAAS comprend les collections suivantes :