共 50 条
- [1] Towards a formal model for QoS specification and handling in networks [J]. 2004 TWELFTH IEEE INTERNATIONAL WORKSHOP ON QUALITY OF SERVICE, 2004, : 148 - 152
- [2] Towards a Formal Model of Protection Functions for Power Distribution Networks [J]. PROCEEDINGS OF THE IECON 2016 - 42ND ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2016, : 5302 - 5309
- [3] Towards the formal model and verification of web service choreography description language [J]. WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, 2006, 4184 : 273 - 287
- [4] Towards a Formal Language for Privacy Options [J]. PRIVACY AND IDENTITY MANAGEMENT FOR LIFE, 2011, 352 : 27 - 40
- [5] Towards a formal language of physical systems [J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2768 - 2773
- [6] Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs [J]. SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING 2015, 2016, 612 : 227 - 243
- [7] Towards a Formal Model of Accountability [J]. PROCEEDINGS OF THE 2011 NEW SECURITY PARADIGMS WORKSHOP (NSPW'11), 2011, : 45 - 55
- [8] Towards a formal model of CyberRail [J]. BUILDING THE INFORMATION SOCIETY, 2004, 156 : 657 - 664
- [10] Towards Developing Tandem Learning in Formal Language Education [J]. RECHERCHE ET PRATIQUES PEDAGOGIQUES EN LANGUES DE SPECIALITE-CAHIERS DE L APLIUT, 2020, 39 (01):