| Use this URL to cite or link to this record in EThOS: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.250766 |
|
|||||
| Title: | Developing semantics of Verilog HDL in formal compositional design of mixed hardware/software systems | ||||
| Author: | Dimitriov, Jordan. |
ISNI:
0000 0001 3424 6410
|
|||
| Awarding Body: | De Montfort University | ||||
| Current Institution: | De Montfort University | ||||
| Date of Award: | 2002 | ||||
| Availability of Full Text: |
|
||||
| Abstract: | |||||
|
No abstract available
|
|||||
| Supervisor: | Not available | Sponsor: | Not available | ||
| Qualification Name: | Thesis (Ph.D.) | Qualification Level: | Doctoral | ||
| EThOS ID: | uk.bl.ethos.250766 | DOI: | Not available | ||
| Keywords: | Interval temporal logic | ||||
| Share: | |||||