3256 search results - page 9 / 652 » Applications of Formal Methods to System Design and Verifica... |
IFM
2010
Springer
13 years 5 months ago
2010
Springer
FMICS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
WETICE
2005
IEEE
14 years 29 days ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
DAC
2005
ACM
13 years 9 months ago
2005
ACM
CORR
2011
Springer
13 years 2 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...