Narrow search
Showing 1 - 3 of 3
Cover Image
Modular formal analysis of the central guardian in the Time-Triggered Architecture
Pfeifer, Holger; von Henke, Friedrich W. - In: Reliability engineering & system safety 92 (2007) 11, pp. 1538-1550
Persistent link: https://www.econbiz.de/10007753107
Cover Image
Using process mining to learn from process changes in evolutionary systems
Günther, Christian W.; Rinderle-Ma, Stefanie; … - In: International journal of business process integration … 3 (2008) 1, pp. 61-79
Persistent link: https://www.econbiz.de/10009869414
Cover Image
Comprehensive life cycle support for access rules in information systems : the CEOSIS project
Rinderle-Ma, Stefanie; Reichert, Manfred - In: Enterprise information systems 3 (2009) 3, pp. 219-251
Persistent link: https://www.econbiz.de/10009893664