112 search results - page 13 / 23 » Formalization of fFSM Model and Its Verification |
116
click to vote
ATAL
2010
Springer
15 years 23 days ago
2010
Springer
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...
122
click to vote
APN
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
SIGSOFT
2009
ACM
16 years 11 days ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
129
click to vote
DKE
2008
14 years 11 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
APSEC
2004
IEEE
15 years 3 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...