6 results on '"Igor Buzhinsky"'
Search Results
2. Formalization of natural language requirements into temporal logics: a survey.
3. Counterexample visualization and explanation for function block diagrams.
4. Plant model inference for closed-loop verification of control systems: Initial explorations.
5. A study on user-friendly formal specification languages for requirements formalization.
6. Evolutionary approach to coverage testing of IEC 61499 function block applications.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.