This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
Based on the analysis of four case vignettes the architecture and design principles of international information systems are explored. A two-dimensional topology
Information Technology governance (ITG) which was a relatively new concept in the late 1990s, has gained importance in the 21st century due to factors namely the collapse of Enron...
: "The only constant is change" is an often cited phrase. We regard it as predominant for the area of process based information systems. In this paper we investigate how ...
Stefan Jablonski, Bernhard Volz, Sebastian Dornsta...