Formal Methods in Computer-Aided Design: Formal verification of the Island Tunnel Controller using M...

Bibliographic Details

Journal Title:	Formal Methods in Computer-Aided Design
Authors and Corporations:	Zhou, Z., Song, X., Tahar, S., Cerny, E., Corella, F., Langevin, M.
In:	Formal Methods in Computer-Aided Design, 1996, p. 233-247
Type of Resource:	E-Chapter
Language:	Undetermined
published:	Springer Berlin Heidelberg