From programs to systems. The systems perspective in computing :  etaps workshop, fps 2014, in honor of joseph sifakis, grenoble, france, april 6, 2014. Proceedings / 
edited by Saddek Bensalem, Yassine Lakhneck, Axel Legay. 
 - xii, 279 páginas :  76 ilustraciones 
 - Lecture Notes in Computer Science,  8415  0302-9743 ; .
<br/><br/> Springer eBooks 
<br/><br/>Model-Driven Information Flow Security for Component-Based Systems -- Context-Bounded Analysis of TSO Systems.- A Model of Dynamic Systems.- From Hierarchical BIP to Petri Calculus.- Programming and Verifying Component Ensembles.- Parametric and Quantitative Extensions of Modal Transition Systems -- Specification Theories for Probabilistic and Real-Time Systems.- Compositional Branching-Time Measurements.- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories for Communication-Safe Component Systems.- Constructive Collisions.- Let’s Get Physical: Computer Science Meets Systems.- What Can be Computed in a Distributed System.- Toward a System Design Science.- OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems.- Feedback in Synchronous Relational Interfaces.- Reasoning about Network Topologies in Space. . 
<br/><br/><label>ISBN: </label>9783642548482 
<br/><br/><label>LC Class. No.: </label>QA76.9.L63