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

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

Bibliografiska uppgifter
Materialtyp:	Elektronisk Bok
Språk:	English
Publicerad:	Association for Computing Machinery (ACM), 7/21/14
Ämnen:	Conference papers and proceedings.
Länkar:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Liknande verk

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

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

Model Checking Software
Publicerad: (2013)

The spin model checker : primer and reference manual /
av: Holzmann, Gerald J., 1951-
Publicerad: (2004)

Reality Check
av: Linse

Tiger Check
av: Fino

Verification, Model Checking, and Abstract Interpretation
Publicerad: (2013)

Hate Spin
av: George

Check Point Software Technologies Ltd SWOT Analysis

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

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

Science Spin K-1

Science Spin - Early Primary

The weaving, spinning, and dyeing book /
av: Brown, Rachel, 1926-
Publicerad: (1979)

How to Check Integrity of Fiscal Data /
av: Khemani, Pokar
Publicerad: (2016)

Check Point Software Technologies Ltd. MarketLine Company Profile

Performance evolution of Spin Valve transistor
av: Rashid, Shahriar, et al.
Publicerad: (2019)

Performance evolution of spin valve transistor
av: Rashid, Shahriar, et al.
Publicerad: (2018)

Money for Nothing and Checks for Free : Recent Developments in U.S. Subprime Mortgage Markets /
av: Mills, Paul
Publicerad: (2007)

Defending Checks and Balances in EU Member States
Publicerad: (2021)

Democratic consolidation in Bangladesh: a reality check
av: Zakaria, Sultan Mohammed
Publicerad: (2018)

Delayed submitting of check list for concreting work
av: Brac University
Publicerad: (2023)

Business location recommendation using check-in data
av: Ahmed, Nasim Uddin, et al.
Publicerad: (2018)

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

Measuring the effectiveness of internal control of Otto Spinning Limited
av: Chakraborty, Rahul
Publicerad: (2024)

Spin Fluctuation Theory of Itinerant Electron Magnetism
av: Takahashi
Publicerad: (2013)

Proceedings of the 2014 International Symposium on Software Testing and Analysis

DocCheck AG MarketLine Company Profile

European Information Society: A Reality Check 2003

Bangla grammar and spelling check using machine learning
av: Ahmed, Foysal, et al.
Publicerad: (2023)

2014 European Modelling Symposium

HolidayCheck Group AG MarketLine Company Profile

FT Guide to Business Numeracy : How to Check the Figures for Yourself
av: Gough, Leo

Experts demand urban facilities in rural areas to check migration
av: New Age
Publicerad: (2019)

Executive Teams in Research-Based Spin-Off Companies
av: Tietz
Publicerad: (2013)

2014 Brazilian Symposium on Software Engineering

Annual health check up for the members of BRAC's village organisation: an observation
av: Shahaduzzaman
Publicerad: (2019)

Ilshin Spinning Co., Ltd. MarketLine Company Profile