9 results on '"Staroletov, Sergey M."'
Search Results
2. Towards Controlled Natural Language for Event-Driven Temporal Requirements
3. Formalization of Process-oriented Programs in poST Using Isabelle/HOL
4. Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm.
5. Developing Distributed Control Software with the Reflex Language: Bottle-filling System Case Study
6. Grammar-Based Testing a Process-Oriented Extension of the IEC 61131-3 Structured Text Language
7. Semantic Classification of Event Driven Temporal Logic Requirements
8. A Temporal Requirements Language for Deductive Verification of Process-Oriented Programs
9. Towards the Translation of Reflex Programs to Promela: Model Checking Wheelchair Lift Software
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.