Franklin

Formal methods for industrial critical systems [electronic resource] : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / Stefan Kowalewski, Marco Roveri (eds.).

Other Title:
FMICS 2010
Publication:
Berlin : Springer, 2010.
Conference Name:
International Workshop on Formal Methods for Industrial Critical Systems (15th : 2010 : Antwerp, Belgium)
Series:
Lecture notes in computer science; 6371.
LNCS sublibrary. Programming and software engineering. SL 2
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering
Format/Description:
Conference/Event
Book
1 online resource (xii, 230 p.) : ill
Subjects:
Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Computer programs -- Verification -- Congresses.
Antwerpen <2010>
Form/Genre:
Kongress
Electronic books.
System Details:
Mode of access: World Wide Web.
Notes:
International conference proceedings.
Includes bibliographical references and author index.
Contributor:
Kowalewski, S. (Stefan)
Roveri, Marco.
SpringerLink (Online service)
Other format:
Print version: Formal methods for industrial critical systems.
ISBN:
9783642158988
3642158986
9783642158971 (pbk.)
3642158978 (pbk.)
OCLC:
676698454
Access Restriction:
Restricted for use by site license.
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy