共 50 条
- [31] A FORMAL SPECIFICATION OF INGRES ALGEBRAIC METHODS : THEORY, TOOLS AND APPLICATIONS, 1989, 394 : 207 - 245
- [32] A formal specification of dMARS INTELLIGENT AGENTS IV: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1998, 1365 : 155 - 176
- [34] Structuring a formal specification starting from process modeling COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 2002, : 248 - 251
- [36] Automatic generation of formal specification from requirements definition FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 243 - 251
- [37] Behavioural validation from a formal specification of smart equipment NEW TECHNOLOGIES FOR COMPUTER CONTROL 2001, 2002, : 171 - 176
- [38] Formal Development of a Cardiac Pacemaker: From Specification to Code FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2011, 6527 : 210 - 225
- [39] Generating MSCs from an integrated formal specification language INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 168 - 186
- [40] Formal Analysis of Problem Domain Workflows DATABASES AND INFORMATION SYSTEMS VII, 2013, 249 : 135 - 148