11 search results - page 3 / 3 » Towards a Formal Semantics of Verilog Using Duration Calculu... |
DAGSTUHL
2006
13 years 6 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...