Searching for authors named "Enrico Tronci" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Automatic Synthesis of Control Software for an Industrial Automation Control System
- … System Enrico Tronci 1 Dipartimento di Matematica Pura ed Applicata, Universit`a di L'Aquila, Coppito…
- Cited by 1 (0 self) – Add To MetaCart
-
On Computing Optimal Controllers for Finite State Systems
- …On Computing Optimal Controllers for Finite State Systems Enrico Tronci 1 Dipartimento di…
- Cited by 4 (4 self) – Add To MetaCart
-
Optimal Finite State Supervisory Control
- … State Supervisory Control Enrico Tronci 1 Dipartimento di Matematica Pura ed Applicata, Universit…
- Cited by 3 (3 self) – Add To MetaCart
-
Automatic Synthesis of Controllers from Formal Specifications
- … Automatic Synthesis of Controllers from Formal Specifications Enrico Tronci 1 Dipartimento di Matematica…
- Cited by 6 (3 self) – Add To MetaCart
-
Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher
- ….cecconi@(email omitted); Enrico Tronci 2 Area Informatica Universit`a di L'Aquila Coppito 67100 L'Aquila, Italy tronci…
- Add To MetaCart
-
Automatic Verification of a Hydroelectric Power Plant
- … Verification of a Hydroelectric Power Plant 1 Rosario Pugliese Enrico Tronci Dip. di Scienze dell…
- Add To MetaCart
-
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design
- … Interlocking System Design Giovanni Dipoppa 1 , Giovanni D'Alessandro 2 , Roberto Semprini 3 , Enrico…
- Add To MetaCart
-
Model Checking Nash Equilibria in MAD Distributed Systems
- …, Enrico Tronci Dep. of Computer Science University of Rome “La Sapienza” Via Salaria 113, 00198 Roma…
- Add To MetaCart
-
Extended Abstract: Hardware Verification, Boolean Logic Programming, Boolean Functional Programming
- … task until a (BDD) Enrico Tronci 1 representation for the system to be verified is generated. Removing…
- Add To MetaCart
-
Automatic Covert Channel Analysis of a Multilevel Secure Component
- … Maggiolo-Schettini 2 , Simone Tini 1 , Angelo Troina 2 , Enrico Tronci 3 1 Dipartimento di Scienze della…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
