uml state machines
Recently Published Documents

TOTAL DOCUMENTS

84
(FIVE YEARS 1)

H-INDEX

14
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS

2021 ◽  
pp. 120-141
Author(s):  
Tobias Rosenberger ◽  
Saddek Bensalem ◽  
Alexander Knapp ◽  
Markus Roggenbach
Keyword(s):  
State Machines ◽  
Uml State Machines

scholarly journals Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines

2020 ◽  
Author(s):  
Christof Kaukewitsch ◽  
Henrik Papist ◽  
Marc Zeller ◽  
Martin Rothfelder
Keyword(s):  
Automatic Generation ◽  
State Machines ◽  
Model Based ◽  
Uml State Machines

scholarly journals Runtime observable and adaptable UML state machines

2019 ◽  
Author(s):  
Miren Illarramendi ◽  
Leire Etxeberria ◽  
Xabier Elkorobarrutia ◽  
Goiuria Sagardui
Keyword(s):  
State Machines ◽  
Uml State Machines

Modelling UML state machines with FoCaLiZe

2018 ◽  
Vol 13 (1) ◽  
pp. 34
Author(s):  
Choukri Bey Ben Yelles ◽  
Renaud Rioboo ◽  
Messaoud Abbas
Keyword(s):  
State Machines ◽  
Uml State Machines

Modelling UML state machines with FoCaLiZe

2018 ◽  
Vol 13 (1) ◽  
pp. 34 ◽  
Author(s):  
Messaoud Abbas ◽  
Choukri Bey Ben Yelles ◽  
Renaud Rioboo
Keyword(s):  
State Machines ◽  
Uml State Machines
Load More ...
Sign in / Sign up

Export Citation Format

Share Document