Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
uninsubria.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
☰
Pubblicazioni
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Rivista
Codice:
E183706
ISSN:
1571-0661
Dati Generali
Dati Generali
Pubblicazioni (19)
Pulisci
Ordina Pubblicazioni:
ascendente
decrescente
A Classification of Time and/or Probability Dependent Security Properties
Articolo
A Constructive Modeling Language for Object Oriented Information Systems
Articolo
A Dual Language Approach to the Development of Time-Critical Systems
Contributo in Atti di convegno
An algebra of automata which includes both classical and quantum entities
Articolo
An efficient solution for model checking graph transformation Systems
Contributo in Atti di convegno
Automatic Analysis of a Non-Repudiation Protocol
Articolo
Automatic Analysis of the NRL Pump
Contributo in Atti di convegno
Comparing Cospans-Spans and Tiles via a Hoare Style process calculus
Articolo
Compositional minimization in Span(Graph):Some examples
Articolo
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays
Articolo
Formal Models of Timing Attacks on Web Privacy
Contributo in Atti di convegno
Hierarchical automata and P systems
Articolo
Notes on Generative Probabilistic Bisimulation
Contributo in Atti di convegno
On the Espressivenes of Timed Concurrent Constraint Programming
Contributo in Atti di convegno
Privacy in Real Time Systems
Contributo in Atti di convegno
Projectable Semantics for Statecharts
Contributo in Atti di convegno
Security Policies Enforcement Using Finite Edit Automata
Articolo
Timing in the Cospan-Span Model
Articolo
Two Semantics for Timed Concurrent Constraint Programming
Contributo in Atti di convegno
No Results Found
«
‹
{pageNumber}
›
»
{startItem} - {endItem} di {itemsNumber}
5 per pagina
10 per pagina
30 per pagina
vedi tutti
