Back to Search
Start Over
From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations.
- Source :
- Proceedings of the First ACM & IEEE International Conference on Formal Methods & Models for Co-Design, 2003. MEMOCODE '03; 2003, p123-132, 10p
- Publication Year :
- 2003
Details
- Language :
- English
- ISBNs :
- 9780769519234
- Database :
- Complementary Index
- Journal :
- Proceedings of the First ACM & IEEE International Conference on Formal Methods & Models for Co-Design, 2003. MEMOCODE '03
- Publication Type :
- Conference
- Accession number :
- 81137283
- Full Text :
- https://doi.org/10.1109/MEMCOD.2003.1210097