21 results on '"B. Trakhtenbrot"'
Search Results
2. An Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems.
3. Mutation Patterns for Temporal Requirements of Reactive Systems.
4. Identification and addressing reduction-related misconceptions.
5. Analysis of Applicability for Synchronization Complexity Metric.
6. Synchronization Complexity Metric.
7. Implementation-Oriented Mutation Testing of Statechart Models.
8. Synthesis of Monitors for Real-Time Analysis of Reactive Systems.
9. Use of Verification for Testing and Debugging of Complex Reactive Systems.
10. An Undergraduate Program in Embedded Systems Engineering.
11. Statecharts in Use: Structured Analysis and Object-Orientation.
12. Reduction Patterns: A Practical Tool for Proving Undecidability.
13. Students misconceptions in analysis of algorithmic and computational complexity of problems.
14. STATEMATE: A Working Environment for the Development of Complex Reactive Systems.
15. Algebraic characterization of regular languages: how to cope with all these equivalences?
16. Challenges in teaching the pumping lemma in automata theory course.
17. Analysis of typical misconceptions in a theoretical CS course, and how to address them in e-learning.
18. On Representation of Sequential and Parallel Functions.
19. Program structure analysis in a global optimization.
20. Some Equivalent Transformations of Recursive Programs Based on Their Schematic Properties.
21. Relationships Between Classes of Monotonic Functions.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.