„Rendszermodellezés (régi)/Igaz Hamis kikérdező” változatai közötti eltérés

@@ 16. sor: / 16. sor: @@
 # mindig nemfunkcionális követelményeket kötnek össze funkcionálissal.
 # mindig egymásnak ellentmondó követelmény eket kötnek össze.
+== M1 és M2, őrfeltételeket is tartalmazó állapotgépek asszinkron szorzata ==
+{{kvízkérdés|típus=több|válasz=2,4|pontozás=+}}
+# mindig több állapotból áll, mint M1 és M2 állapotainak összege
+# tartalmazhat hurokélet.
+# csak akkor áll chat elő, ha M1 és M2 bemenethalmaza megegyezik.
+# tartalmazhat nem elérhető állapotot.