DASH: Modelling and Analysis of Declarative State-Based Transition Systems Work in Progress (*) Jose Serna, Nancy A. Day, and Shahram Esmaeilsabzali With past contributions by Sabria Farheen

Source URL: alloytools.org

• Models of computation
• Intel
• Scientific modelling
• Dash
• Transition system
• Epistemology
• Philosophy of science
• Writing

ARM: ANN-based Ranking Model for Privacy and Security Analysis in Smartphone Ecosystems Majid Hatamian∗ , Jetzabel Serna∗ ∗ Chair of Mobile Business & Multilateral Security

Source URL: privacyus.eu

Using Fraud Patterns for Fraud Risk Assessment of E-services Ahmed Seid Yesuf, Jetzabel Serna-Olvera and Kai Rannenberg Deutsche Telekom Chair of Mobile Business & Multilateral Security, Goethe University Frankfurt, Fran

Source URL: m-chair.de

Beacon Alarming: Informed Decision-Making Supporter and Privacy Risk Analyser in Smartphone Applications Majid Hatamian∗ , Jetzabel Serna-Olvera∗ ∗ Deutsche

Source URL: www.m-chair.de

Demo Abstract: Slate XNS – An Online Management Tool for Deterministic TSN Networks Silviu S. Craciunas, Ramon Serna Oliver, Wilfried Steiner TTTech Computertechnik AG RTAS Demo Session 2018, Porto, Portugal

Source URL: 2018.rtas.org

PRESIDENTE HONORARIO Manuel Arango Arias EXPRESIDENTES Manuel Arango Arias Emilio Carrillo Gamboa Ma. Luisa Barrera de Serna

Source URL: www.grupocice.com

La Marseillaise - Revue historique des armées n° 287- 2e trimestre 2017 La Marseillaise, une révolution de la gloire Hervé Drévillon De l’évidence de qui appartient « ce sang impur » Pierre Serna

Source URL: www.servicehistorique.sga.defense.gouv.fr

BIOINDICACIÓN MEDIANTE DIATOMEAS EN AGUAS CONTINENTALES Saúl Blanco, Instituto de Medio Ambiente, Recursos Naturales y Biodiversidad. La Serna 58, 24007 León; Las diatomeas responden eficazmente

Source URL: sofilac2017.unal.edu.co

centro de arte / dibujo / ilustración RAMÓN GÓMEZ DE LA SERNA. GREGUERÍAS ILUSTRADAS 17 ABRJUN 2018 Genio y figura Museo ABC presenta la exposición ‘Greguerías Ilustradas’ de Ramón Gómez de la Sern

Source URL: museo.abc.es

RAMÓN GÓMEZ DE LA SERNA. GREGUERÍAS ILUSTRADAS EXPOSICIÓN 17 ABR — 17 JUN 2018 Ramón Gómez de la Serna, Greguerías, 4ª, Blanco y Negro, núm, 14 de julio deTinta y lápiz sobre cartón.

Source URL: museo.abc.es