Modeling Session Initiation Protocol with Extended Finite State Machines

2007 ◽  
Author(s):  
Sun Wenhui ◽  
Liu Feng ◽  
Dai Gang ◽  
Li Honghui
Keyword(s):  
Finite State Machines ◽  
Session Initiation Protocol ◽  
State Machines ◽  
Finite State ◽  
Extended Finite State Machines

Active learning for extended finite state machines

2016 ◽  
Vol 28 (2) ◽  
pp. 233-263 ◽  
Author(s):  
Sofia Cassel ◽  
Falk Howar ◽  
Bengt Jonsson ◽  
Bernhard Steffen
Keyword(s):  
Active Learning ◽  
Finite State Machines ◽  
State Machines ◽  
Finite State ◽  
Extended Finite State Machines
Sign in / Sign up

Export Citation Format

Share Document