Search results for: Joey W. Coleman
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 114-132
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Methodology > 146-160
Future Generation Computer Systems > 2016 > 55 > C > 165-175