Verifikation reaktiver Systeme - Universität Kaiserslautern
Verifikation reaktiver Systeme - Universität Kaiserslautern
Verifikation reaktiver Systeme - Universität Kaiserslautern
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
1<br />
_<br />
_<br />
_<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
5<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
r<br />
r<br />
multiple<br />
error<br />
error<br />
r<br />
multiple<br />
error<br />
it<br />
reject<br />
multiple<br />
error<br />
it<br />
reject<br />
multiple<br />
error<br />
it<br />
reject<br />
multiple<br />
error<br />
p (20)<br />
r ist in jedem Zeitschritt 1-covered von P5<br />
1<br />
0<br />
0<br />
))<br />
)<br />
((<br />
(<br />
))<br />
(<br />
(<br />
)<br />
_<br />
(<br />
)<br />
_<br />
(<br />
)<br />
_<br />
_<br />
(<br />
)<br />
_<br />
_<br />
(<br />
_<br />
_<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
)<br />
(<br />
1<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
t<br />
error<br />
t<br />
multiple<br />
error<br />
t<br />
error<br />
multiple<br />
error<br />
it<br />
reject<br />
error<br />
it<br />
correct<br />
error<br />
it<br />
reject<br />
it<br />
correct<br />
error<br />
it<br />
reject<br />
it<br />
correct<br />
error<br />
it<br />
reject<br />
it<br />
correct<br />
error<br />
p<br />
(21)<br />
t ist not-covered von P1<br />
65
Change language