共 50 条
- [41] A Formal Verification Approach for Robotic Workflows 2021 20TH INTERNATIONAL CONFERENCE ON ADVANCED ROBOTICS (ICAR), 2021, : 670 - 675
- [43] A constraint specification approach to building flexible workflows JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, 2003, 35 (01): : 21 - 39
- [44] Formal Specification of the Framework for NSSA 2ND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING, COMMUNICATION & CONVERGENCE, ICCC 2016, 2016, 92 : 23 - 29
- [45] Formal Specification of Topological Relations DATABASES AND INFORMATION SYSTEMS VII, 2013, 249 : 175 - +
- [46] Using Relational Algebra on the Specification of Real World ETL Processes CIT/IUCC/DASC/PICOM 2015 IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY - UBIQUITOUS COMPUTING AND COMMUNICATIONS - DEPENDABLE, AUTONOMIC AND SECURE COMPUTING - PERVASIVE INTELLIGENCE AND COMPUTING, 2015, : 861 - 866
- [50] Formal specification of catalysis frameworks SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 180 - 187