Proceedings of the 8th international SPIN workshop on Model checking of software

Proceedings of the 8th international SPIN workshop on Model checking of software

Podrobná bibliografie
Další autoři:	Dwyer
Médium:	Elektronický zdroj Kniha
Jazyk:	English
Vydáno:	Association for Computing Machinery (ACM), 5/2/01
Témata:	Conference papers and proceedings.
On-line přístup:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Podobné jednotky

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software

Model Checking Software
Vydáno: (2013)

The spin model checker : primer and reference manual /
Autor: Holzmann, Gerald J., 1951-
Vydáno: (2004)

Reality Check
Autor: Linse

Tiger Check
Autor: Fino

Verification, Model Checking, and Abstract Interpretation
Vydáno: (2013)

Hate Spin
Autor: George

Proceedings of the 8th International Workshop on Modeling in Software Engineering

Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation

Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation

Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation

2021 8th International Conference on Signal Processing and Integrated Networks (SPIN)

Check Point Software Technologies Ltd SWOT Analysis

Proceedings of the 8th International Workshop on Variability Modelling of Software-Intensive Systems

Proceedings of the 8th international workshop on Software quality

Science Spin K-1

Science Spin - Early Primary

The weaving, spinning, and dyeing book /
Autor: Brown, Rachel, 1926-
Vydáno: (1979)

How to Check Integrity of Fiscal Data /
Autor: Khemani, Pokar
Vydáno: (2016)

Proceedings of the 8th International Conference on Predictive Models in Software Engineering

Check Point Software Technologies Ltd. MarketLine Company Profile

Proceedings of the 8th International Workshop on Software Specification and Design

Proceedings of the 8th International Workshop on Automation of Software Test

Proceedings of the 8th International Workshop on Social Software Engineering

Performance evolution of Spin Valve transistor
Autor: Rashid, Shahriar, a další
Vydáno: (2019)

Performance evolution of spin valve transistor
Autor: Rashid, Shahriar, a další
Vydáno: (2018)

Money for Nothing and Checks for Free : Recent Developments in U.S. Subprime Mortgage Markets /
Autor: Mills, Paul
Vydáno: (2007)

Defending Checks and Balances in EU Member States
Vydáno: (2021)

Democratic consolidation in Bangladesh: a reality check
Autor: Zakaria, Sultan Mohammed
Vydáno: (2018)

Delayed submitting of check list for concreting work
Autor: Brac University
Vydáno: (2023)

Business location recommendation using check-in data
Autor: Ahmed, Nasim Uddin, a další
Vydáno: (2018)

Proceedings of the 8th Workshop on Emerging Trends in Software Metrics

Signal Processing and Integrated Networks (SPIN), International Conference on

Measuring the effectiveness of internal control of Otto Spinning Limited
Autor: Chakraborty, Rahul
Vydáno: (2024)

Spin Fluctuation Theory of Itinerant Electron Magnetism
Autor: Takahashi
Vydáno: (2013)

Proceedings of the 11th International Workshop on Modelling in Software Engineerings

Proceedings of the 6th International Workshop on Modeling in Software Engineering

Proceedings of the 10th International Workshop on Modelling in Software Engineering

Proceedings of the 4th International Workshop on Modeling in Software Engineering