no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- related tags
- tags
- dblp
- myown
- formal
- methods
- imported
- software
- engineering
- Z
- notation
- semantics
- operational
- denotational
- testing
- bibliography
- computing
- Verilog
- reconfigurable
- criteria
- web
- Frequently
- Asked
- Questions
- FORUM
- specification
- 2001
- Comp.specification.z
- verilog
- museum
- MC/DC
- FAQ
- requirements
- logic
- test
- Hardware
- 2008
- 2006
- standards
- programming
- z
- accessibility
- design
- formalization
- RC/DC
- algebraic
- online
- commandments
- Language
- safety-critical
- file-import-09-02-13
- No matching items.
- Alison Hsiang-Yi Liu, and Jonathan P. Bowen. IJWBC 7(4):407-428 (2011)Alison Hsiang-Yi Liu, and Jonathan P. Bowen. IJWBC 7(4):407-428 (2011)a year and 6 months agoby griesbau2
- Huibiao Zhu, Jifeng He, Jing Li, and Jonathan P. Bowen. SEFM, page 315-328. IEEE Computer Society, (2007)Huibiao Zhu, Jifeng He, Jing Li, and Jonathan P. Bowen. SEFM, page 315-328. IEEE Computer Society, (2007)a year and 10 months agoby jpbowen2
- Teresa Numerico, and Jonathan P. Bowen. CoRR (2005)informal publication.Teresa Numerico, and Jonathan P. Bowen. CoRR (2005)informal publication.a year and 10 months agoby jpbowen2
- Silvia Filippini-Fantoni, and Jonathan P. Bowen. CoRR (2005)informal publication.Silvia Filippini-Fantoni, and Jonathan P. Bowen. CoRR (2005)informal publication.a year and 10 months agoby jpbowen2
- Alpay Beler, Ann Borda, Jonathan P. Bowen, and Silvia Filippini-Fantoni. CoRR (2004)informal publication.Alpay Beler, Ann Borda, Jonathan P. Bowen, and Silvia Filippini-Fantoni. CoRR (2004)informal publication.a year and 10 months agoby jpbowen2
- Jonathan P. Bowen. CoRR (2003)informal publication.Jonathan P. Bowen. CoRR (2003)informal publication.a year and 10 months agoby jpbowen2
- Jonathan P. Bowen, and David Chippington. ZUM, volume 1493 of Lecture Notes in Computer Science, page 66-80. Springer, (1998)Jonathan P. Bowen, and David Chippington. ZUM, volume 1493 of Lecture Notes in Computer Science, page 66-80. Springer, (1998)a year and 10 months agoby jpbowen2