1
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends [E-Book] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV /
Table of Contents: “...From Verification to Explanation (Track Introduction) -- An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces -- TraceVis: Towards Visualization for Deep Statistical Model Checking -- Engineering of Digital Twins for Cyber...”

Full text 
Favorites
Saved in:
2
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /
Table of Contents: “... Verification of Legacy Code -- Correctness-by-Construction $\land$ Taxonomies $\Rightarrow$\\ Deep Comprehension of Algorithm Families -- Conditions for Compatibility of Components - The case of masters and slaves -- A Logic for Statistical Model Checking of Dynamic...”

Full text 
Favorites
Saved in:
3
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
Table of Contents: “...-Station Interlocking Systems -- OnTrack: The Railway Verification Toolset -- Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System -- Tuning energy consumption strategies in the railway domain: a model-based approach -- Runtime...”

Full text 
Favorites
Saved in:
4
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [E-Book] : 18th International Symposium, AAECC-18 2009, Tarragona, Spain, June 8-12, 2009. Proceedings /
Subject (ZB): “...Algorithms...”

Full text 
Favorites
Saved in:
5
Approximation and Online Algorithms [E-Book] : 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers /
Subject (ZB): “...Algorithms...”

Full text 
Favorites
Saved in:
6
WALCOM: Algorithms and Computation [E-Book] : Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings /

Full text 
Favorites
Saved in:
7
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

Full text 
Favorites
Saved in:
8
Knowledge Acquisition: Approaches, Algorithms and Applications [E-Book] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
9
Experimental Algorithms [E-Book] : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings /
Subject (ZB): “...Algorithms...”

Full text 
Favorites
Saved in:
10
Combinatorial Optimization and Applications [E-Book] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings /
Subject (ZB): “...Algorithms...”

Full text 
Favorites
Saved in:
11
Logic-Based Program Synthesis and Transformation [E-Book] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
Subject (ZB): “...Algorithms...”

Full text 
Favorites
Saved in:
12
Algorithmic Aspects in Information and Management [E-Book] : 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings /

Full text 
Favorites
Saved in:
13
Frontiers in Algorithmics [E-Book] : Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings /
Subject (ZB): “...Algorithms...”

Full text 
Favorites
Saved in:
14
Multimodal Signals: Cognitive and Algorithmic Issues [E-Book] : COST Action 2102 and euCognition International School Vietri sul Mare, Italy, April 21-26, 2008 Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
15
Algorithmics of Large and Complex Networks [E-Book] : Design, Analysis, and Simulation /
Subject (ZB): “...Algorithms...”

Full text 
Favorites
Saved in:
16
Algorithms and Models for the Web-Graph : 6th International Workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009. Proceedings [E-Book]/

Full text 
Favorites
Saved in:

Narrow Search Results