Search

Your search keyword '"Lucio, Levi"' showing total 31 results

Search Constraints

Start Over You searched for: Author "Lucio, Levi" Remove constraint Author: "Lucio, Levi" Publication Year Range Last 10 years Remove constraint Publication Year Range: Last 10 years
31 results on '"Lucio, Levi"'

Search Results

1. ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification

2. Towards Controlling Refinements of Statecharts

3. Generation of Co-simulation Algorithms Subject to Simulator Contracts

4. Design and Runtime Verification Side-by-Side in eTrice

7. Just Formal Enough? Automated Analysis of EARS Requirements

8. Migrating Automotive Product Lines: A Case Study

9. Federalism: A Way to Govern Globalization

13. Albert Einstein : dal pacifismo all'idea del governo mondiale

14. Albert Einstein From Pacifism to the Idea of World Government

21. Debugging of model transformations and contracts in SyVOLT

26. Federalism : A Political Theory for Our Time

Catalog

Books, media, physical & digital resources