17 results on '"Hlavicka J"'
Search Results
2. FC-Min: a fast multi-output Boolean minimizer
3. FC-Min: a fast multi-output Boolean minimizer.
4. Fault tolerance evaluation using two software based fault injection methods.
5. BOOM-a heuristic Boolean minimizer.
6. On the use of mutations in Boolean minimization.
7. Functional validation of fault-tolerant asynchronous algorithms.
8. I-path analysis.
9. Minimization and partitioning method reducing input sets.
10. Minimization and partitioning method reducing input sets
11. Modeling a fault-tolerant distributed system
12. BOOM-a heuristic Boolean minimizer
13. Fault tolerance evaluation using two software based fault injection methods
14. C-Sim - the C language enhancement for discrete-time simulation
15. On the use of mutations in Boolean minimization
16. RT level test scheduling.
17. Modeling a fault-tolerant distributed system.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.