Search

Your search keyword '"Mazzanti, Franco"' showing total 28 results

Search Constraints

Start Over You searched for: Author "Mazzanti, Franco" Remove constraint Author: "Mazzanti, Franco" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
28 results on '"Mazzanti, Franco"'

Search Results

1. The 4SECURail Case Study on Rigorous Standard Interface Specifications

2. Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect

3. A Case Study in Formal Analysis of System Requirements

4. The 4SECURail Formal Methods Demonstrator

5. Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers

6. Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

7. Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints

8. A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems

9. Compositional Verification of Concurrent Systems by Combining Bisimulations

10. Adopting Formal Methods in an Industrial Setting: The Railways Case

11. States and Events in KandISTI : A Retrospective

12. Survey on Formal Methods and Tools in Railways: The ASTRail Approach

13. On the Industrial Uptake of Formal Methods in the Railway Domain : A Survey with Stakeholders

14. Verifying Properties of Systems Relying on Attribute-Based Communication

15. An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine

16. Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System

17. Model Checking Value-Passing Modal Specifications

18. Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System

19. From Featured Transition Systems to Modal Transition Systems with Variability Constraints

20. From EU Projects to a Family of Model Checkers : From Kandinsky to KandISTI

21. Deadlock Avoidance in Train Scheduling: A Model Checking Approach

22. Designing a Deadlock-Free Train Scheduler: A Model Checking Approach

23. VMC: A Tool for Product Variability Analysis

24. An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems

25. Tools and Verification

26. A Model-Checking Approach for Service Component Architectures

27. Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity

28. A Model Checking Approach for Verifying COWS Specifications

Catalog

Books, media, physical & digital resources