Skip to Main content Skip to Navigation


...
hal-00533288v1  Conference papers
Tomas G. MoreiraMarco A. WehrmeisterCarlos Eduardo PereiraJean-François PétinEric Levrat. Generating VHDL source code from UML models of embedded systems
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.125-136, ⟨10.1007/978-3-642-15234-4_13⟩
...
hal-01054497v1  Conference papers
Lucio Mauro DuarteLuciana FossFlávio Rech WagnerTales Heimfarth. Model Checking the Ant Colony Optimisation
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.221-232, ⟨10.1007/978-3-642-15234-4_22⟩