Autor/in Dierks, Henning Fränzle, Martin 1 Hansen, Michael R. 1 Metzner, Alexander 1 Sauter, Gerald 1 Stierand, Ingo 1 alle zeigenListe einklappen
Efficient model-checking for real-time task networks Dierks, Henning Metzner, Alexander Stierand, Ingo 2009 - ReposIt
Light-weight hybrid model checking facilitating online prediction of temporal properties Sauter, Gerald Dierks, Henning Fränzle, Martin Hansen, Michael R. 2009 - ReposIt