Site Map Navigation Internal Restricted Login
Antonio Cerone's Website
Home Family Interests Research Training
Welcome >> Home >> Research
My Photo
LOCAL LINKS
Research
Publications
Projects

Research

My research include formal methods and their application to:

In particular I'm interested in the following formal languages and notations:





















BACK TO TOP
Created: Sun Jul 31 16:45:27 CST 2005 Feedback
Updated: Wed Dec 28 11:08:27 CST 2005