scholarly journals Compositional Approach to Distributed System Behavior Modeling and Formal Validation of Infrastructure Operations with Finite State Automata: Application to Viewpoint-Driven Verification of Functionality in Waterways

Systems ◽  
2018 ◽  
Vol 6 (1) ◽  
pp. 2 ◽  
Author(s):  
Mark Austin ◽  
John Johnson
Keyword(s):  
Distributed System ◽  
Behavior Modeling ◽  
Finite State Automata ◽  
System Behavior ◽  
Compositional Approach ◽  
Formal Validation ◽  
Finite State

Research on software behavior modeling based on extended finite state automata

2014 ◽  
Author(s):  
Xiaolin Zhao ◽  
Jingfeng Xue ◽  
Shanshan Zhang ◽  
Rui Ma ◽  
Changzhen Hu
Keyword(s):  
Behavior Modeling ◽  
Finite State Automata ◽  
Finite State

Characterizations of rough finite state automata

2015 ◽  
Vol 8 (3) ◽  
pp. 721-730 ◽  
Author(s):  
Shambhu Sharan ◽  
Arun K. Srivastava ◽  
S. P. Tiwari
Keyword(s):  
Finite State Automata ◽  
Finite State
Sign in / Sign up

Export Citation Format

Share Document