First ACM & IEEE International Conference on Formal Methods and Models for Co-design (MEMOCODE '03), Mont St-Michel, France, June 2003, pp. 237-245. [3] WB Gardner, "CSP++: An Object-Oriented Application Framework for Software Synthesis from CSP Specifications, Generating Hardware Assertion Checkers: For Hardware Verification, Emulation ... - 269. lappuse autors: Marc Boulé, Zeljko Zilic - 2008 - 280 lapas Ierobežota priekšskatīšana -
|