1
Wydane 2014
Spis treści: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2008
Spis treści: ...Session 1. Invited Talks -- Aspects and Formal Methods -- Getting Formal Verification into Design...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2014
Spis treści: ... Session Types.- Behavioural Types Inspired by Cellular Thresholds.- Ensuring Faultless Communication...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2010
Spis treści: ... in Information Integration -- Session 6: Case Studies and Experiences -- Validity of the Documentation...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2005
Spis treści: ... -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2010
Spis treści: ...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2006
Spis treści: ... Construction Project Histories for Estimating and Defect Detection -- Case Studies of Intelligent Context-Aware...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2007
Spis treści: ... the Design of Experiment Method -- Validation Problems of Virtual Prototyping Systems Used in Foundry...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2007
Spis treści: ...-Time Human Behaviour Recognition -- Generating Social Network Features for Link-Based Classification...
Dokumenty pełnotekstowe
Elektroniczne E-book