2004 search results - page 21 / 401 » Comparison of Model Checking Tools for Information Systems |
102
click to vote
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
ICFEM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
ICEIS
2008
IEEE
15 years 6 months ago
2008
IEEE
ICEIS
2007
IEEE
15 years 6 months ago
2007
IEEE