共 50 条
- [41] Hardware/software embedded system specification and design using Ada and VHDL RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 356 - 370
- [43] Development of flight control software in Ada: Architecture and design issues and approaches RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 437 - 449
- [49] Reusable Concurrent Data Types ECOOP 2014 - OBJECT-ORIENTED PROGRAMMING, 2014, 8586 : 182 - 206