Fantechi, Alessandro. - ECU Libraries Catalog

Did you mean: fintechs or fantoche or fanucchi or fontecha or fintech

Start Over

You searched for: author Fantechi, Alessandro.

Showing 1 - 5 of 5 results

Search Results

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

by Fantechi, Alessandro
2017
1st ed. 2017
Format: Electronic

Location
Access Content Online

Cover image for Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

by Fantechi, Alessandro
2015
1st ed. 2015
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15?18, 1999, Florence, Italy

Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15?18, 1999, Florence, Italy

by Ciancarini, Paolo
1999
Format: Electronic

Location
Access Content Online

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

by ter Beek, Maurice H.
2019
1st ed. 2019
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

by International Workshop on Formal Methods for Industrial Critical Systems
2009
Format: Electronic

Location
Access Content Online