Sekundärnavigation / Secondary navigation
Inhaltsbereich / Content
@inproceedings{al-zokari_enhanced_2011
Author = {Al-Zokari, Yasmin I. and Schneider, Daniel and Zeckzer, Dirk and Guzman, Liliana and Livnat, Yarden and Hagen, Hans},
Title = {Enhanced {CakES} representing safety analysis results of embedded systems},
Booktitle = {Computer {Science} and {Information} {Systems} ({FedCSIS}), 2011 {Federated} {Conference} on},
Year = {2011},
Publisher = {IEEE},
Pages = {783--790},
}
Title = {Enhanced {CakES} representing safety analysis results of embedded systems},
Booktitle = {Computer {Science} and {Information} {Systems} ({FedCSIS}), 2011 {Federated} {Conference} on},
Year = {2011},
Publisher = {IEEE},
Pages = {783--790},
