Sort by
Refine Your Search
-
experiment at the Large Hadron Collider (LHC) at CERN. The MSU group on ATLAS is active in trigger as well as the tile calorimeter and muon detector upgrades. The physics activities of the group cover a broad
Searches related to model checking
Enter an email to receive alerts for model-checking "CERN" positions