2702 search results - page 6 / 541 » Practically Applicable Formal Methods |
MEMOCODE
2010
IEEE
13 years 5 months ago
2010
IEEE
SAS
2010
Springer
13 years 5 months ago
2010
Springer
ZUM
1992
Springer
13 years 11 months ago
1992
Springer
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...
MEMOCODE
2003
IEEE
14 years 10 days ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...