Search alternatives:
polyomics » polysomics, polyatomics, polyominos, holyomics
poly » holy
polyblend » holyblend, polyblends, polybrene
pole » pope, pose
poole » pooled, pools
pollyblend » polyblends
Cover Image
Read Now

1
Published 2019
Springer International Publishing
Table of Contents: “... Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A...”
Cover Image
Read Now

2
by Steffen, Bernhard
Published 1998
Springer Berlin Heidelberg
Cover Image
Read Now

4
Published 1998
Springer Berlin Heidelberg
“...This book constitutes the refereed proceedings of the 4th International Conference on Tools...”
Cover Image
Read Now

5
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... -- The Concurrency Factory software development environment -- The Fc2Tools set (tool demonstration) -- PEP — more...”
Cover Image
Read Now

6
Published 2021
Springer International Publishing
Table of Contents: “... Safety Analysis on a Construction Site -- Software Verification Tools (Track Introduction...”
Cover Image
Read Now

7
Published 2016
Springer International Publishing
Table of Contents: “... Multi-core Interference -- A Library and Scripting Language for Tool Independent Simulation Descriptions --...”
Cover Image
Read Now

8
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... on Integrating Timing Technology -- Processes, Methods and Tools for Developing Educational Modules to Support...”
Cover Image
Read Now

9
Published 2018
Springer International Publishing
Table of Contents: “... Analysis, Learning, and Runtime Monitoring -- Evaluating Tools for Software Verification (Track...”
Cover Image
Read Now

10
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Interaction and Coordination of Tools for Structured Data -- Modelling Coordination in Biological...”
Cover Image
Read Now

11
Published 2019
Springer International Publishing
“.... The second part, Methods, Languages and Tools for Future System Development, aims at sketching...”
Cover Image
Read Now

12
Published 2016
Springer International Publishing
Table of Contents: “... -- Incremental Hardware Synthesis for SCCharts -- Towards Semantically Integrated Models and Tools for Cyber...”
Cover Image
Read Now

13
Published 2021
Springer International Publishing
“... 12479: Tools and Trends. The contributions included in this volume were organized in the following...”
Cover Image
Read Now

14
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...Task Time Constraints for Real-Time Systems.- The WCET Analysis Tool CalcWcet167.- Abstract...”
Cover Image
Read Now

15
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Systems with Network Calculus -- NC-Maude: A Rewriting Tool to Play with Network Calculus -- DEBORAH: A...”
Cover Image
Read Now

16
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Introduction) -- SWEET – A Tool for WCET Flow Analysis (Extended Abstract) -- Test-Driving Static Analysis...”
Cover Image
Read Now

17
Published 2020
Springer International Publishing
Table of Contents: “... for Multi-agent Systems -- 30 Years of Simulation-Based Quantitative Analysis Tools: a Comparison Experiment...”
Cover Image
Read Now

18
Published 2018
Springer International Publishing
“... on verification: from static to runtime and back; evaluating tools for software verification; statistical model...”
Cover Image
Read Now

19
Published 2018
Springer International Publishing
Table of Contents: “...: Results obtained with the TESTAR tool --...”
Cover Image
Read Now

20
Published 2017
Springer International Publishing
“...; data, information and knowledge engineering; and software engineering: methods, tools, applications...”