Humans live in a world where safety-critical systems are at work all around them. Scientists want to ensure that the proper safety constraints are in place so these systems can operate safely while ...
A research team consisting of Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa, and Shinya Katsumata at the National Institute of Informatics (NII, Japan) and Rick Salay and Krzysztof Czarnecki at ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results