EFSM

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf abbreviation
gptkbp:application software verification
protocol modeling
gptkbp:extendsTo finite state machine
gptkbp:hasFeature variables
actions
guards
https://www.w3.org/2000/01/rdf-schema#label EFSM
gptkbp:relatedTo finite state machine
gptkbp:standsFor Extended Finite State Machine
gptkbp:usedIn computer science
model-based testing
gptkbp:bfsParent gptkb:European_Financial_Stabilisation_Mechanism
gptkbp:bfsLayer 6