74 results on '"Dragomir, Iulia"'
Search Results
2. The Refinement Calculus of Reactive Systems Toolset
3. The Refinement Calculus of Reactive Systems
4. The refinement calculus of reactive systems
5. Type Inference of Simulink Hierarchical Block Diagrams in Isabelle
6. Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
7. Model-Based Design of Resilient Systems Using Quantitative Risk Assessment
8. Translating Hierarchical Block Diagrams into Composite Predicate Transformers
9. Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
10. The Refinement Calculus of Reactive Systems Toolset
11. The Refinement Calculus of Reactive Systems Toolset
12. Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
13. Well-formedness and typing rules for UML Composite Structures
14. Type Inference of Simulink Hierarchical Block Diagrams in Isabelle
15. Model-based design of resilient systems using quantitative risk assessment
16. Compositional Semantics and Analysis of Hierarchical Block Diagrams
17. Safety Contracts for Timed Reactive Components in SysML
18. The Refinement Calculus of Reactive Systems Toolset
19. Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
20. Model-checking of space systems designed with TASTE/SDL
21. Contract-based modeling and verification of timed safety requirements within SysML
22. Unambiguous UML Composite Structures: The OMEGA2 Experience
23. Type Inference of Simulink Hierarchical Block Diagrams in Isabelle
24. COROB-X: A Cooperative robot team for the exploration of lunar skylights
25. Model-checking for TASTE designed space software systems: results and lessons learned
26. Ochi de lumina
27. Compositional Semantics and Analysis of Hierarchical Block Diagrams
28. Sensul capital.
29. Safety Contracts for Timed Reactive Components in SysML
30. Arta.
31. UML/SysML semantic tunings
32. Rigorous Design of FDIR Systems with BIP
33. Unambiguous UML Composite Structures: The OMEGA2 Experience
34. Unei prietene.
35. Echilibru.
36. Toamnei.
37. Chipul iubirii.
38. Plecare.
39. Poezia ca stare wabi-sabi, cireșul înflorit al inimii mele.
40. Safety contracts for timed reactive components
41. Martie.
42. Contract-based modeling and verification of timed safety requirements within SysML
43. „Nouă vieți de-aș trăi…”.
44. Copiilor mei.
45. Zece.
46. A Case Study in Formal System Engineering with SysML
47. De Dragobete.
48. OMEGA2: A New Version of the Profile and the Tools
49. Fructul copt.
50. Toamnă.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.