Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /

Saved in:
Corporate Author: International Workshop on Formal Methods for Industrial Critical Systems Florence, Italy)
Other Authors: Lang, Frédéric, (Editor)
Flammini, Francesco,
(Editor)
Format: Book Electronic
Language:English
Published:Cham : Springer, 2014.
Series:Lecture notes in computer science ; 8718.
LNCS sublibrary. SL 2, Programming and software engineering.
Subjects:
Online Access:Available to SAIC students, faculty and staff 
Tags: Add Tag
No Tags, Be the first to tag this record!

School of the Art Institute of Chicago

Location: Digital Resource

Online Access:Available to SAIC students, faculty and staff