Publications

Introduction to the Safecomp 2014 Workshop: Development, Verification and Validation of Critical Systems (Devvarts '14)

AuthID
P-009-TWD

Author(s)

Brancati, F

Laranjeiro, N

Hegedus, A

Document Type

Proceedings Paper

Year published

2014

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 8696 LNCS, Pages: 192-194

Conference

33Rd Workshop on Computer Safety, Reliability, and Security, Safecomp 2014, Date: 8 September 2014 through 9 September 2014, Location: Florence, Sponsors: PROLAN Process Control Co.;ResilTech

Indexing