858 search results - page 10 / 172 » Formal Verification of Digital Systems |
137
Voted
CSFW
2010
IEEE
15 years 7 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 ...
174
click to vote
CAV
2007
Springer
15 years 8 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...
106
Voted
ICECCS
2009
IEEE
15 years 10 months ago
2009
IEEE
CSR
2009
Springer
15 years 10 months ago
2009
Springer