共 50 条
- [41] Formal Specification of Reconfigurable Architecture SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING: THEORY AND PRACTICE, VOL 1, 2012, 114 : 481 - 490
- [42] A FORMAL SPECIFICATION OF THE PVM ARCHITECTURE INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 402 - 409
- [48] Formal Grammars of Early Language LANGUAGES: FROM FORMAL TO NATURAL: ESSAYS DEDICATED TO NISSIM FRANCEZ ON THE OCCASION OF HIS 65TH BIRTHDAY, 2009, 5533 : 204 - +