Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
METADATA ONLY
Loading...
Author / Producer
Date
2013-12-01
Publication Type
Journal Article
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Journal / series
Volume
78 (12)
Pages / Article No.
2435 - 2452
Publisher
North-Holland
Event
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Bounded model checking; Case study; Model transformations; Process algebra; SML
Organisational unit
03457 - Welzl, Emo (emeritus) / Welzl, Emo (emeritus)