Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Chi tiết về thư mục
Tác giả khác:	Pecheur
Định dạng:	Điện tử eBook
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg, 2013
Phiên bản:	1
Những chủ đề:	Electronic books
Truy cập trực tuyến:	Full text available on Springer Off-campus access

Những quyển sách tương tự

Proceedings of the 10th international workshop on Formal methods for industrial critical systems

Formal Methods for Dynamical Systems
Được phát hành: (2013)

Formal Methods in System Design

Integrated Formal Methods
Được phát hành: (2013)

NASA Formal Methods
Được phát hành: (2013)

Formal Methods and Software Engineering
Được phát hành: (2013)

Formal Methods for Components and Objects
Được phát hành: (2013)

Formal Methods for Components and Objects
Được phát hành: (2013)

Formal Methods: Foundations and Applications
Được phát hành: (2013)

Software Engineering and Formal Methods
Được phát hành: (2013)

Theories of Programming and Formal Methods
Được phát hành: (2013)

Web Services and Formal Methods
Được phát hành: (2013)

Formal Methods for Mining Structured Objects
Bằng: Garriga
Được phát hành: (2013)

Formal Methods in Computer Aided Design

Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems

Structured Object-Oriented Formal Language and Method
Được phát hành: (2013)

Unifying Theories of Programming and Formal Engineering Methods
Được phát hành: (2013)

Proceedings of the second workshop on Automated formal methods

2013 Formal Methods in Computer-Aided Design

Formal Methods in Computer Aided Design (FMCAD)

Conference proceedings on Formal methods in software development

Proceedings of the second workshop on Formal methods in software practice

Proceedings of the third workshop on Formal methods in software practice

2020 Formal Methods in Computer Aided Design (FMCAD)

2018 Formal Methods in Computer Aided Design (FMCAD)

2019 Formal Methods in Computer Aided Design (FMCAD)

2012 Formal Methods in Computer-Aided Design (FMCAD)

2014 Formal Methods in Computer-Aided Design (FMCAD)

2016 Formal Methods in Computer-Aided Design (FMCAD)

2011 Formal Methods in Computer-Aided Design (FMCAD)

Software Engineering and Formal Methods (SEFM), International Conference on

2021 Formal Methods in Computer Aided Design (FMCAD)

2015 Formal Methods in Computer-Aided Design (FMCAD)

2017 Formal Methods in Computer Aided Design (FMCAD)

Proceedings of the fourth ACM workshop on Formal methods in security

Formal Techniques for Distributed Systems
Được phát hành: (2013)

Descriptional Complexity of Formal Systems
Được phát hành: (2013)

Formal Grammar
Được phát hành: (2013)

Speculative Formalism
Bằng: Eyers

Proceedings of the Third FME Workshop on Formal Methods in Software Engineering