model persistence
Recently Published Documents


TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

2017 ◽  
Vol 149 ◽  
pp. 9-14 ◽  
Author(s):  
Gwendal Daniel ◽  
Gerson Sunyé ◽  
Amine Benelallam ◽  
Massimo Tisi ◽  
Yoann Vernageau ◽  
...  


Author(s):  
Alexandra Vandervelde ◽  
Remy Loris ◽  
Jan Danckaert ◽  
Lendert Gelens


Zygon® ◽  
2015 ◽  
Vol 50 (1) ◽  
pp. 209-226
Author(s):  
Thomas Aechtner


PLoS ONE ◽  
2014 ◽  
Vol 9 (5) ◽  
pp. e98126 ◽  
Author(s):  
Mara E. Erickson ◽  
Christine Found-Jackson ◽  
Mark S. Boyce
Keyword(s):  


Author(s):  
Seyyed M. Shah ◽  
Ran Wei ◽  
Dimitrios S. Kolovos ◽  
Louis M. Rose ◽  
Richard F. Paige ◽  
...  


2013 ◽  
Vol 765-767 ◽  
pp. 409-412
Author(s):  
Guang Hui Yang ◽  
Ting Shu ◽  
Sien Lai ◽  
Dong Xiang Xu

An Extended Finite State Machine (EFSM) is one of the most popular models used in protocol testing field. A specific graphical EFSM model consists of two parts: state elements and transition elements. This paper presents a method for building a visual EFSM modeling system (VEMS), which is used to construct visual protocol EFSM models for protocol testing. VEMS consists of two main modules. One is the modeling module and the other is the model information analysis module. The function of our system can satisfy the requirements to build a visual EFSM model in protocol testing. Specially, users can modify the properties of states and transitions, change the size of states and transitions, build connection between states and transitions, etc. VEMS provides a good modeling support for protocol testing. Its advantages include friendly user interface, simple modeling operation, model persistence and recovery.



2008 ◽  
Vol 2 (4) ◽  
pp. 415-427 ◽  
Author(s):  
Azmy S. Ackleh ◽  
Patrick De Leenheer




1979 ◽  
Vol 71 (4) ◽  
pp. 508-513 ◽  
Author(s):  
Barry J. Zimmerman ◽  
Roberta Blotner


Sign in / Sign up

Export Citation Format

Share Document