https://vik.wiki/index.php?action=history&feed=atom&title=Form%C3%A1lis_m%C3%B3dszerek_-_H%C3%A1zi_feladat_22-28Formális módszerek - Házi feladat 22-28 - Laptörténet2026-04-07T04:19:49ZAz oldal laptörténete a wikibenMediaWiki 1.43.6https://vik.wiki/index.php?title=Form%C3%A1lis_m%C3%B3dszerek_-_H%C3%A1zi_feladat_22-28&diff=137255&oldid=prevUnknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModHazi22tol28}} <br> ==22.== ==23.== ==24.== A 2. pontra kerül a homokágyból. és a 2. feladatban 10-es szám szerepel 9 helyett. =…”2012-10-21T19:57:22Z<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModHazi22tol28}} <br> ==22.== ==23.== ==24.== A 2. pontra kerül a homokágyból. és a 2. feladatban 10-es szám szerepel 9 helyett. =…”</p>
<p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|FormModHazi22tol28}}<br />
<br />
<br><br />
<br />
==22.==<br />
==23.==<br />
==24.==<br />
A 2. pontra kerül a homokágyból. és a 2. feladatban 10-es szám <br />
szerepel 9 helyett.<br />
==25. Vasúti Pályakarbantartás==<br />
<ul><br />
<li>Állapotszám amivel meg lehet oldani: Nekem 46-al sikerült megoldani. (ebből pár(4-6) helyem az elég redundáns)</li><br />
<li>Deadlock: Ha szépen elfogyasztjuk az olajtartálból az összes olajat majd kiküldjük a tehervagonnal az egyik pályára a szerelvényünket a másikra meg tetszöleges szerelvényünket és elmegy az áram.</li><br />
<li>Kivédése pl: Nem engedünk elindulni fehérvárról úgy szerelvényt, hogy kettőnél kevesebb olaj van a tartályban</li><br />
<li>DNANet: Nekem INA-val kellett ellenőrizni, mert BLOWN STACK-elt az ellenőrzés.</li><br />
<li>SAL: Ide jó lenne összedobni hogyan érdemes megvalósítani a LTL-eket.</li><br />
</ul><br />
==26. Mozi==<br />
A magas szintű modellnél két diagrammot érdemes csinálni:<br><br />
- Az egyik egyetlen mozi működéséről szól.<br><br />
- A másik a szállító egységet írja le.<br />
==27.==<br />
==28.==<br />
<br />
<br />
[[Category:Infoalap]]</div>Unknown user