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.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 8415Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014Descripción: xii, 279 páginas : 76 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783642548482
- QA76.9.L63
Springer eBooks
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. .
Para consulta fuera de la UANL se requiere clave de acceso remoto.