Gaudin, Emmanuel.
SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings / [electronic resource] : edited by Emmanuel Gaudin, Elie Najm, Rick Reed. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4745 0302-9743 ; . - Lecture Notes in Computer Science, 4745 .
9783540749844
10.1007/978-3-540-74984-4 doi
Computer science.
Computer network architectures.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Computer Systems Organization and Communication Networks.
Software Engineering.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
QA76.9.C643 TK5105.5-5105.9
004.6
SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings / [electronic resource] : edited by Emmanuel Gaudin, Elie Najm, Rick Reed. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4745 0302-9743 ; . - Lecture Notes in Computer Science, 4745 .
9783540749844
10.1007/978-3-540-74984-4 doi
Computer science.
Computer network architectures.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Computer Systems Organization and Communication Networks.
Software Engineering.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
QA76.9.C643 TK5105.5-5105.9
004.6