SpecSyn: an environment supporting the specify-explore-refine paradigm for hardware/software system design

✍ Scribed by Gajski, D.D.; Vahid, F.; Narayan, S.; Jie Gong

• Book ID: 115486317
• Publisher: IEEE
• Year: 1998
• Tongue: English
• Weight: 281 KB
• Volume: 6
• Category: Article
• ISSN: 1063-8210
• DOI: 10.1109/92.661251