4460 search results - page 16 / 892 » Formal methods for interactive systems |
FMICS
2008
Springer
13 years 9 months ago
2008
Springer
TOCL
2012
11 years 10 months ago
2012
FIW
2007
13 years 9 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
IFM
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...