Category:Formal specifications: Difference between revisions
From ETHW
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
Mathematic descriptions of hardware or software which maybe be used in a design implementation | Mathematic descriptions of hardware or software which maybe be used in a design implementation | ||
[[Image:Formal Specifications Büchi TO 51 Attribution.jpg|thumb|right|Buchi TO 51 from The National Institute of Standards and Technology- Center for Neutron Research]] | [[Image:Formal Specifications Büchi TO 51 Attribution.jpg|thumb|right|A Buchi TO 51 Drying Tube from The National Institute of Standards and Technology- Image by Kimberly Tomasi and The Center for Neutron Research]] | ||
[[Category:Standardization|{{PAGENAME}}]] | [[Category:Standardization|{{PAGENAME}}]] | ||
Revision as of 17:50, 6 February 2012
Mathematic descriptions of hardware or software which maybe be used in a design implementation
File:Formal Specifications Büchi TO 51 Attribution.jpg
A Buchi TO 51 Drying Tube from The National Institute of Standards and Technology- Image by Kimberly Tomasi and The Center for Neutron Research
Pages in category "Formal specifications"
The following 4 pages are in this category, out of 4 total.
