共 50 条
- [1] A FORMAL MODEL OF COMPUTATION IN PRODUCTION SYSTEMS [J]. SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1988, 26 (05): : 15 - 18
- [2] Towards a Formal Model of Accountability [J]. PROCEEDINGS OF THE 2011 NEW SECURITY PARADIGMS WORKSHOP (NSPW'11), 2011, : 45 - 55
- [3] Towards a formal model of CyberRail [J]. BUILDING THE INFORMATION SOCIETY, 2004, 156 : 657 - 664
- [5] Towards an OPC UA Compliant Programming Approach with Formal Model of Computation for Dynamic Reconfigurable Automation Systems [J]. 2019 IEEE 17TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2019, : 140 - 146
- [6] Towards a Formal Model of the Lean Enterprise [J]. KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS 19TH ANNUAL CONFERENCE, KES-2015, 2015, 60 : 226 - 235
- [8] Towards a Formal Model of Language Networks [J]. INFORMATION AND SOFTWARE TECHNOLOGIES, ICIST 2015, 2015, 538 : 469 - 479
- [9] Towards a Formal Model for Cloud Computing [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2013 WORKSHOPS, 2014, 8377 : 381 - 393
- [10] A FORMAL MODEL OF COMPUTATION FOR SENSORY-BASED ROBOTICS [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1989, 5 (03): : 280 - 293