Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings /
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Biondi, Fabrizio (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Given-Wilson, Thomas (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Legay, Axel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
Έκδοση: | 1st ed. 2019. |
Σειρά: | Theoretical Computer Science and General Issues ;
11636 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
Έκδοση: (2018) -
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings /
Έκδοση: (2019) -
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings /
Έκδοση: (2019) -
Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings /
Έκδοση: (2019) -
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings /
Έκδοση: (2019)