Teaching Formal Methods Within System-on-a-Programmable-Chip Design
- Citation:
- Gomes, Lu{\'ı}s, and Anikó Costa. "Teaching Formal Methods Within System-on-a-Programmable-Chip Design." 2005 International Conference on Microelectronics Systems Education, {MSE} 2005, Anaheim, CA, USA, June 12-13, 2005. 2005. 105-106.
Abstract:
n/a
Notes:
n/a
Recent Publications
