3147 search results - page 158 / 630 » Open-Source Model Checking |
117
Voted
TYPES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
116
Voted
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
97
Voted
DAC
1998
ACM
16 years 3 months ago
1998
ACM
111
Voted
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
113
Voted
JALC
2006
15 years 2 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...