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