160 results on '"A, Frydman"'
Search Results
2. FODGE - Fast Online Dynamic Graph Embedding.
3. OntoRepliCov: an Ontology-Based Approach for Modeling the SARS-CoV-2 Replication Process.
4. Combining Devs and Semantic Technologies for Modeling the SARS-CoV-2 Replication Machinery.
5. Limiting state space explosion of model checking using discrete event simulation: combining DEVS and PROMELA.
6. Towards using DEVS for modelling adaptive storytelling in virtual games.
7. Improving Business Process in semiconductor manufacturing by Discovering Business Rules.
8. Modeling and Simulation of the SARS-COV-2 Lung Infection and Immune Response with Cell-DEVS
9. FODGE - Fast Online Dynamic Graph Embedding
10. Restricting DEv-PROMELA with a hierarchy of simulation formalisms.
11. Using DEv-PROMELA for Modelling and Verification of Software.
12. Helping Programmers to Adopt Set-Based Specifications.
13. The state event design pattern.
14. Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study.
15. A Functional Verification of a Web Voting System.
16. A Pattern-based Approach for Semantic Retrieval of Information Resources in Enterprises - Application Within STMicroelectronics.
17. Integration Testing in the Test Template Framework.
18. A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods.
19. Frequency vs Azimuth (FVAZ): the Younger Member of the Family of Seismic Driven Fracture Characterization Methods
20. Assessing the Potential of Three Assets: From Exploration to Development a Multidisciplinary Integration Case
21. {log} as a Test Case Generator for the Test Template Framework.
22. A Semantic Mapping Approach to Retrieve Manufacturing Information Resources: STMicroelectronics' Case Study.
23. Discrete event design patterns.
24. A semantic support to improve the collaborative control of manufacturing processes in industries.
25. Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions.
26. A Language for Test Case Refinement in the Test Template Framework.
27. Constructing DEVS models based on experts' knowledge: application to STMicroelectronics' large scale manufacturing processes.
28. New methodology for modeling large scale manufacturing process: Using process mining methods and experts' knowledge.
29. Applying the Test Template Framework to Aerospace Software.
30. A Method for Identification and Visualization of Histological Image Structures Relevant to the Cancer Patient Conditions.
31. The laterally confined consolidation of initially compacted and wetted swelling clay.
32. Using Simulation Techniques and Formal Methods for Validating Interaction Based Models.
33. Integrating Z in DEVS : a case study Lift Control System.
34. Intelligent agents for moving and operating computer generated forces.
35. Mapping PIOVRA in GDEVS/HLA environment.
36. LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach.
37. Modeling waiting systems from domain expert specifications.
38. Improving the Lookahead Computation in G-DEVS/HLA Environment.
39. Using DEVS for an Extended UML.
40. Using DEVS for Modeling and Simulation of Human Behaviour.
41. Simulation Semantics for Min-Max DEVS Models.
42. Specifying and Validating Reactive Systems with CommonKADS Methodology.
43. Another Category in Intelligent Monitoring and Diagnosis for Industrial Systems.
44. Towards a Unique Framework to Describe and Compare Diagnosis Approaches.
45. Building a knowledge based system for computer aided diagnosis.
46. Verifying and Validating Specification of Knowledge-Based Systems.
47. Stability of notched cylindrical shells under uneven external pressure
48. Practical application of 'lightweight' Z in DEVS framework.
49. Combining Devs and Semantic Technologies for Modeling the SARS-CoV-2 Replication Machinery
50. Timed synchronizing sequences.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.