Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783030217587, 9783030217594
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems

2019 ◽  
pp. 261-277 ◽  
Author(s):  
Hoang-Dung Tran ◽  
Luan Viet Nguyen ◽  
Patrick Musau ◽  
Weiming Xiang ◽  
Taylor T. Johnson
Keyword(s):  
Real Time ◽  
Cyber Physical Systems ◽  
Safety Verification ◽  
Physical Systems

scholarly journals Parametric Statistical Model Checking of UAV Flight Plan

2019 ◽  
pp. 57-74 ◽  
Author(s):  
Ran Bao ◽  
Christian Attiogbe ◽  
Benoît Delahaye ◽  
Paulin Fournier ◽  
Didier Lime
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Statistical Model Checking ◽  
Flight Plan

Component-aware Input-Output Conformance

2019 ◽  
pp. 111-128
Author(s):  
Alexander Graf-Brill ◽  
Holger Hermanns
Keyword(s):  
Input Output

Only Connect, Securely

2019 ◽  
pp. 75-92
Author(s):  
Chandrika Bhardwaj ◽  
Sanjiva Prasad

scholarly journals On a Higher-Order Calculus of Computational Fields

2019 ◽  
pp. 289-292
Author(s):  
Giorgio Audrito ◽  
Mirko Viroli ◽  
Ferruccio Damiani ◽  
Danilo Pianini ◽  
Jacob Beal
Keyword(s):  
Higher Order

Semantically Sound Analysis of Content Security Policies

2019 ◽  
pp. 293-297
Author(s):  
Stefano Calzavara ◽  
Alvise Rabitti ◽  
Michele Bugliesi
Keyword(s):  
Security Policies ◽  
Sound Analysis ◽  
Content Security

Declarative Choreographies and Liveness

2019 ◽  
pp. 129-147 ◽  
Author(s):  
Thomas T. Hildebrandt ◽  
Tijs Slaats ◽  
Hugo A. López ◽  
Søren Debois ◽  
Marco Carbone
Load More ...
Sign in / Sign up

Export Citation Format

Share Document