5525 search results - page 54 / 1105 » Verification of Model Transformations |
WSC
2001
15 years 4 months ago
2001
107
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
129
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
or Abstraction for the Functional Verification of FPGAs Guy Dupenloup, Thierry Lemeunier, Roland Mayr Altera Corporation 101 Innovation Drive San Jose, CA 95134 1-408-544-8672 {gdu...
138
click to vote
IEE
2008
15 years 3 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
129
click to vote
ICAIL
2003
ACM
15 years 8 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...