Keyword [Specification and analysis] Result: 1 - 9 | Page: 1 of 1 1.  A framework for specification and analysis of software architectures 2.  Formal specification and analysis of security protocols 3.  Specification and analysis of Internet cryptographic protocols using a Petri net modeler 4.  Cryptographic protocol specification and analysis using coloured Petri nets and Java 5.  Real-time system specification and analysis using Petri nets and temporal logics 6.  A formal methodology for the specification and analysis of imprecise requirements 7.  Specification and analysis of the requirements for embedded software with an external interaction model 8.  MODEL SPECIFICATION AND ANALYSIS FOR DISCRETE EVENT SIMULATION 9.  Security Policy Specification And Analysis Method For Privacy Information Flows In Web Service Compositions   <<First  <Prev  Next>  Last>>  Jump to

Globe Thesis Copyright © 2023. All Rights Reserved. | Privacy | Copyright | Contribute | About | Contact | RSS