A Functional HDL in ReFLect
Príomhchruthaitheoirí: | Melham, T, O'Leary, J |
---|---|
Formáid: | Conference item |
Foilsithe / Cruthaithe: |
ETAPS 2006
2006
|
Míreanna comhchosúla
Míreanna comhchosúla
-
Flecting Osteotomy of the Distal Tibia for Salvage of an Asymmetric Osteoarthritic Ankle Joint
de réir: Beat Hintermann MD, et al.
Foilsithe / Cruthaithe: (2018-09-01) -
A Reflective Functional Language for Hardware Design and Theorem Proving
de réir: Grundy, J, et al.
Foilsithe / Cruthaithe: (2006) -
A Reflective Functional Language for Hardware Design and Theorem Proving
de réir: Grundy, J, et al.
Foilsithe / Cruthaithe: (2003) -
Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
de réir: Aagaard, M, et al.
Foilsithe / Cruthaithe: (1999) -
Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
de réir: O'Leary, J, et al.
Foilsithe / Cruthaithe: (2013)