共 50 条
- [41] Transactional rollback for language-based systems INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2002, : 439 - 448
- [43] A Language-Based Causal Model for Safety THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 290 - 307
- [46] A formal language-based approach in biology COMPARATIVE AND FUNCTIONAL GENOMICS, 2004, 5 (01): : 91 - 94
- [47] Language-based Support for Computational Thinking 2009 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2009, : 147 - 150
- [49] PASCAL,BLAISE - 'PENSEES' - FRENCH - SELLIER,P, EDITOR DIX-SEPTIEME SIECLE, 1992, (177): : 536 - 538
- [50] Bridging model-based and language-based security COMPUTER SECURITY - ESORICS 2003, PROCEEDINGS, 2003, 2808 : 235 - 252