Category:Formal specifications
From ETHW
Mathematic descriptions of hardware or software which maybe be used in a design implementation
File:Formal Specifications Büchi TO 51 Attribution.jpg
Buchi TO 51 from The National Institute of Standards and Technology- Center for Neutron Research
Pages in category "Formal specifications"
The following 4 pages are in this category, out of 4 total.
