858 search results - page 10 / 172 » Formal Verification of Digital Systems |
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
118
click to vote
CAV
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
ICECCS
2009
IEEE
15 years 4 months ago
2009
IEEE
CSR
2009
Springer
15 years 4 months ago
2009
Springer
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer