Skip to Main Content (Press Enter)
×
Home
Persone
Pubblicazioni
Strutture
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
Persone
Pubblicazioni
Strutture
Competenze
☰
Pubblicazioni
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Serie
Codice:
E207081
ISSN:
1571-0661
Dati Generali
Dati Generali
Pubblicazioni (37)
Pulisci
Ordina Pubblicazioni:
ascendente
decrescente
A Calculus for Team Automata
Contributo in Atti di convegno
A Formalization of Credit and Responsibility Within the GNDC Schema
Contributo in Atti di convegno
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS
Articolo
A graph-based design framework for global computing systems
Articolo
An Approach for the Specification, Verification and Synthesis of Secure Systems
Articolo
Applying generalized non deducibility on compositions (GNDC) approach in dependability
Contributo in Atti di convegno
Architecting fault-tolerant component-based systems: from requirements to testing
Articolo
Augmented Risk Analysis
Articolo
Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting
Articolo
Fluid performability analysis of nested automata models
Articolo
Formal Models of Timing Attacks on Web Privacy
Articolo
Formal specification and verification of complex systems
Articolo
Formal verification in the design of gestural interaction
Articolo
From Coalition Logic to STIT
Articolo
Integration of components to test software components
Articolo
Introducing a reasonably complete and coherent approach for model-based testing
Articolo
MarCaSPiS: a Markovian extension of a Calculus for Services
Articolo
MarCaSPiS: a Markovian extension of a Calculus for Services
Contributo in Atti di convegno
Model checking publish/subscribe notification for thinkteam
Articolo
Model checking publish/subscribe notification for thinkteam
Contributo in Atti di convegno
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming
Articolo
Modelling a secure agent with team automata
Articolo
Modelling dynamic software architectures using typed graph grammars
Articolo
Modelling interactive experience, function and performance in ubiquitous systems
Articolo
On Relating and Integrating Two Trust Management Frameworks
Articolo
Process Algebra Under the Light of Wolfram's NKS
Contributo in Atti di convegno
Rules and Strategies for Contextual Specialization of Constraint Logic Programs
Articolo
Secrecy in security protocols as non interference
Articolo
Soft Constraints for Security
Articolo
Soft Constraints for Security
Contributo in Atti di convegno
Team automata for security - a survey
Contributo in Atti di convegno
Techniques for Security Checking: Non-Interference vs Control Flow Analysis
Articolo
Through Modeling to Synthesis of Security Automata
Articolo
Towards Information Flow Properties for Distributed Systems
Articolo
Towards a logic for performance and mobility
Articolo
Towards a logic for performance and mobility
Contributo in Atti di convegno
Towards integrated cognitive and interface analysis
Articolo
No Results Found
«
‹
{pageNumber}
›
»
{startItem} - {endItem} di {itemsNumber}
5 per pagina
10 per pagina
30 per pagina
vedi tutti
