Search

Select theme:

Shopping cart

Subtotal
$97.00
View cart Checkout

Saved articles

You have not yet added any article to your bookmarks!

Browse articles
Newsletter image

Subscribe to the Newsletter

Join 10k+ people to get notified about new posts, news and tips.

Do not worry we don't spam!

GDPR Compliance

We use cookies to ensure you get the best experience on our website. By continuing to use our site, you accept our use of cookies, Privacy Policy, and Terms of Service.

  • Home
Rigorous State-Based Methods

Rigorous State-Based Methods

By Alexander Raschke, Dominique Méry & Frank Houdek Computers 22/05/2020

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic.

The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).

Read More
More Books from Alexander Raschke, Dominique Méry & Frank Houdek
Logic, Computation and Rigorous Methods Alexander Raschke, Elvinia Riccobene & Klaus-Dieter Schewe
Logic, Computation and Rigorous Methods
Rigorous State-Based Methods Alexander Raschke, Dominique Méry & Frank Houdek
Rigorous State-Based Methods
Abstract State Machines, Alloy, B, TLA, VDM, and Z Michael Butler, Alexander Raschke, Thai Son Hoang & Klaus Reichl
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Comments