Qual è la definizione di ACTL?
-
03-11-2019 - |
Domanda
Ho cercato la definizione di ACTL, ma Google mi ha dato molto poco con cui andare.
Finora so che ACTL è un'altra forma di controllo del modello CTL e CTL include i seguenti operatori:
- Sempre
- Esistere
- Globale
- Infine
- Prossimo
- E / o
- NON
Quindi cosa include Actl e in che modo è diverso da CTL?
Grazie molto
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange