Cinzia Bernardeschi and Formal Methods - Free people check

(1 - 8 from 10

)

Applied Formal Methods - FM-Trends 98: International Workshop on...

books.google.de

Acknowledgments We thank Cinzia Bernardeschi and Antonella Santone for interesting discussions about the realization of this tool. The development of SAM ...

Formal Methods for Industrial Critical Systems: 19th International...

books.google.de

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence,...

Formal Methods for Open Object-Based Distributed Systems IV: IFIP...

books.google.de

... Mori Lucia Pomello Prasannaa Thati Tiejun Wang Reza Ziaei Cinzia Bernardeschi Marc Boyer Nadia Busi Giuseppe Castagna Grit Denker David Espinosa G.

CiteSeerX — A Formal Verification Environment for Railway Signaling...

citeseerx.ist.psu.edu

by C Bernardeschi · · Cited by 82 — by Cinzia Bernardeschi , Alessandro Fantechi , Stefania Gnesi , Salvatore Larosa , Giorgio Mongardi , Dario Romano. Venue: Formal Methods in System Design. › viewdoc › summary

A Formal Verification Environment for Railway Signaling System Design...

link.springer.com

A fundamental problem in the design and development of embedded control systems is the verification of safety requirements. Formal methods, offering a math

All web results to the name "Cinzia Bernardeschi"

cinzia bernardeschi - Google Scholar Citationsscholar.google.ca › citations

scholar.google.ca

C Bernardeschi, A Fantechi, S Gnesi, S Larosa, G Mongardi, D Romano. Formal Methods in System Design 12 (2), Model checking ...

Special issue of "Formal Methods in System Design"

fmics.inria.fr

Special issue of "Formal Methods in System Design" ... Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano

Third Workshop on Formal Methods for Industrial Critical Systems

fmics.inria.fr

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi and Antonella Santone: Automated verification of fault tolerance mechanisms. Mads Dam, Dilian Gurov ...

Related search requests for Cinzia Bernardeschi

Alessandro Fantechi
Luca Martini
Simona Bernardi

Stefania Gnesi
Jiri Barnat
Holger Pfeifer

Luca Cassano
Giorgio Mongardi
Paolo Masci

People
Forename "Cinzia" (3015)
Name "Bernardeschi" (15)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Cinzia Bernardeschi and Formal Methods Free People Check