Search alternatives:
computer programming » computer program
computer programs » computer program
Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Encouraging the Uptake of Formal Methods Training in an Industrial Context -- Computer-Supported Collaborative...”
Cover Image
Read Now

2
Published 2021
Springer International Publishing
Table of Contents: “... for Programming Cyber-Physical Systems in Warehouse Logistics -- Mining Data Quality Rules for Data Migrations: A...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Related to TACAS -- The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation...”
Cover Image
Read Now

4
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... for Verilog -- Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming...”
Cover Image
Read Now

5
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
Cover Image
Read Now

6
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Properties of Real-Time HTL Programs -- CONNECT: Status and Plans -- Towards an Architecture for Runtime...”
Cover Image
Read Now

7
Published 2020
Springer International Publishing
Table of Contents: “... and Result Validation for Multi-Threaded Programs -- Tendermint Blockchain Synchronization: Formal...”
Cover Image
Read Now

8
Published 2020
Springer International Publishing
Table of Contents: “...Maple-Swarm: Programming Collective Behavior for Ensembles by extending HTN-Planning -- Swarm...”
Cover Image
Read Now

9
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... Synthesis -- Interpolation-Based GR(1) Assumptions Refinement -- Connecting Program Synthesis...”
Cover Image
Read Now

10
Published 2017
Springer Berlin Heidelberg
Table of Contents: “...Security -- Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions...”
Cover Image
Read Now

11
Published 2019
Springer International Publishing
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

13
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”
Cover Image
Read Now

14
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Methods for Intelligent Transportation Systems.- Model-Driven V&V Processes for Computer Based Control...”
Cover Image
Read Now

15
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... support for deductive program development -- Extending promela and spin for real time -- Reactive EFSMs...”
Cover Image
Read Now

16
Published 1995
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

17
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Cover Image
Read Now

18
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”
Cover Image
Read Now

19
Published 2016
Springer International Publishing
Table of Contents: “... -- Programming of CAS systems by relying on attribute-based communication -- Towards Static Analysis of Policy...”
Cover Image
Read Now

20
Published 2016
Springer International Publishing
Table of Contents: “... and Sequential Benchmarks with Focus on LTL Verification -- DIME: A Programming-Less Modeling Environment for Web...”