25 Years of Model Checking

QR Kod

25 Years of Model Checking

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Grumberg, Orna, Veith, Helmut
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg 2020
Konular:	Computer Science Software Engineering Programming Languages, Compilers, Interpreters
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81710
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Benzer Materyaller

Model Checking Software
Baskı/Yayın Bilgisi: (2020)

Model Checking Software
Baskı/Yayın Bilgisi: (2020)

Model Checking and Artificial Intelligence
Baskı/Yayın Bilgisi: (2020)

Conceptual Modeling
Yazar:: Mayr, Heinrich C., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model and Data Engineering
Yazar:: Abdelwahed, El Hassan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Modelling Foundations and Applications
Yazar:: Pierantonio, Alfonso, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Modelling Foundations and Applications
Yazar:: Anjorin, Anthony, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Theory and Practice of Model Transformation
Yazar:: Rensink, Arend, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

UML Modeling Languages and Applications
Baskı/Yayın Bilgisi: (2020)

Model-Driven Engineering and Software Development
Yazar:: Hammoudi, Slimane, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model Driven Engineering Languages and Systems
Yazar:: Briand, Lionel, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Communicating Sequential Processes. The First 25 Years
Baskı/Yayın Bilgisi: (2020)

Handbook of Model Checking
Yazar:: Clarke, Edmund M., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Models in Software Engineering
Yazar:: Giese, Holger
Baskı/Yayın Bilgisi: (2020)

Conceptual Modeling - ER 2008
Baskı/Yayın Bilgisi: (2020)

Theory and Practice of Model Transformations
Baskı/Yayın Bilgisi: (2020)

Model Driven Engineering Languages and Systems
Baskı/Yayın Bilgisi: (2020)

Quality of Software Architectures Models and Architectures
Baskı/Yayın Bilgisi: (2020)

Integrated Formal Methods
Yazar:: Polikarpova, Nadia, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Integrated Formal Methods
Yazar:: Furia, Carlo A., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Programming Languages and Systems
Yazar:: Shao, Zhong
Baskı/Yayın Bilgisi: (2020)

Language Engineering and Rigorous Software Development
Baskı/Yayın Bilgisi: (2020)

Automated Technology for Verification and Analysis
Yazar:: D'Souza, Deepak, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Technology for Verification and Analysis
Yazar:: Lahiri, Shuvendu K., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Provenance and Annotation of Data and Processes
Yazar:: Belhajjame, Khalid, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Industrial Critical Systems
Yazar:: Howar, Falk, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Aspects of Component Software
Yazar:: Bae, Kyungmin, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

iOS Code Testing
Yazar:: Mishra, Abhishek
Baskı/Yayın Bilgisi: (2020)

Fundamental Approaches to Software Engineering
Yazar:: Hähnle, Reiner, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Runtime Verification
Yazar:: Sokolsky, Oleg, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Fundamental Approaches to Software Engineering
Yazar:: Russo, Alessandra, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Technologies: Applications and Foundations
Yazar:: Seidl, Martina, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Runtime Verification
Yazar:: Lahiri, Shuvendu, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Engineering and Formal Methods
Yazar:: Cimatti, Alessandro, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Tests and Proofs
Yazar:: Dubois, Catherine, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Coordination, Organizations, Institutions, and Norms in Agent Systems XII
Yazar:: Cranefield, Stephen, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Technologies
Yazar:: Cabello, Enrique, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

NASA Formal Methods
Yazar:: Barrett, Clark, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Aspects of Component Software
Yazar:: Proença, José, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Grand Timely Topics in Software Engineering
Yazar:: Cunha, Jácome, ve diğerleri
Baskı/Yayın Bilgisi: (2020)