![](/img/cover-not-exists.png)
[IEEE Comput. Soc 14th IEEE International Workshop on Rapid Systems Prototyping - San Diego, CA, USA (9-11 June 2003)] 14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings. - A new specification methodology for embedded systems based on the π-calculus process algebra
Forster, S., Fischer, M., Windisch, A., Balser, B., Monjau, D.Year:
2003
Language:
english
DOI:
10.1109/IWRSP.2003.1207026
File:
PDF, 462 KB
english, 2003