Font Size: a A A
Keyword [LOTOS]
Result: 1 - 18 | Page: 1 of 1
1. Automatic Synthesis Of Asynchronous Circuits Based On Action Refinement
2. Research For The ET-LOTOS-Based Embedded Software Component Composition
3. Protocol Abstract Test Suite Automation Generator Based On E-LOTOS
4. From E-LOTOS To GE-LOTOS's Automatic Conversion Tools And Graphical E-LOTOS's Actuator Of The Design And Implementation
5. TTCN-3 Abstract Test Suite Of Protocol Design And Realise Based On GE-LOTOS
6. The Design And Implementation Of Automatically Generating Xml Test Suite From E-lotos
7. Lotos Study On The Technique And Its Application In Network Protocol Design
8. Formal Description Of The Technical Lotos And Its Extensions And Applications In Real-time Systems
9. Description, Based On The Ip Protocol In The Form Of The Process Operator
10. Research On Formal Modeling And Conformance Verification Of Web Service
11. Research On Conformance Testting Of LDP Protocol Based On E-Lotos
12. Study On The Method Of Mapping From BPEL To LOTOS Based On Translation Scheme
13. Research Of The Model Checking Method And Technology Guided By Testing Purpose
14. Formal specification of agent interaction protocols and constraint satisfaction problems
15. From requirements to scenarios through specifications: A translation procedure from use case maps to LOTOS
16. Formal modeling and test generation automation with Use Case Maps and LOTOS
17. Specification and validation of telecommunications systems with use case maps and LOTOS
18. CNAP specification and validation: A design methodology using LOTOS and UCM
  <<First  <Prev  Next>  Last>>  Jump to