Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
A Formalisation of Nominal C-Matching through Unification with Protected VariablesAyala-Rincón, Mauricio ; de Carvalho-Segundo, Washington ; Fernández, Maribel ; Nantes-Sobrinho, DanieleElectronic notes in theoretical computer science, 2019-08, Vol.344, p.47-65Elsevier B.VTexto completo disponível |
|
2 |
Material Type: Artigo
|
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)Tschantz, Michael Carl ; Kaynar, Dilsun ; Datta, AnupamElectronic notes in theoretical computer science, 2011-09, Vol.276, p.61-79Elsevier B.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous DynamicsHulette, Geoffrey C. ; Armstrong, Robert C. ; Mayo, Jackson R. ; Ruthruff, Joseph R.Electronic notes in theoretical computer science, 2015-11, Vol.317, p.71-83United States: Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
An Algorithm for the Identification of Components in Biochemical PathwaysPardini, Giovanni ; Milazzo, Paolo ; Maggiolo-Schettini, AndreaElectronic notes in theoretical computer science, 2013-12, Vol.299, p.69-84Elsevier B.VTexto completo disponível |
|
5 |
Material Type: Artigo
|
Formal Fault Tree Analysis - Practical ExperiencesOrtmeier, Frank ; Schellhorn, GerhardElectronic notes in theoretical computer science, 2007-07, Vol.185, p.139-151Elsevier B.VTexto completo disponível |
|
6 |
Material Type: Artigo
|
Incorporating Formal Techniques into Industrial Practice: an Experience ReportOsaiweran, Ammar ; Schuts, Mathijs ; Hooman, Jozef ; Wesselius, JaccoElectronic notes in theoretical computer science, 2013-05, Vol.295, p.49-63Elsevier B.VTexto completo disponível |
|
7 |
Material Type: Artigo
|
A Formal Framework for Structural Reconfiguration of Components under Behavioural AdaptationCansado, Antonio ; Canal, Carlos ; Salaün, Gwen ; Cubo, JavierElectronic notes in theoretical computer science, 2010-06, Vol.263, p.95-110Elsevier B.VTexto completo disponível |
|
8 |
Material Type: Artigo
|
Towards the Composition of Specifications in Event-BSilva, RenatoElectronic notes in theoretical computer science, 2011-12, Vol.280, p.81-93Elsevier B.VTexto completo disponível |
|
9 |
Material Type: Artigo
|
A Calculus for Generation, Verification and Refinement of BPEL SpecificationsAbouzaid, Faisal ; Mullins, JohnElectronic notes in theoretical computer science, 2008-05, Vol.200 (3), p.43-65Elsevier B.VTexto completo disponível |
|
10 |
Material Type: Artigo
|
A Framework for Modelling and Simulating Networks of CellsMontagna, Sara ; Viroli, MirkoElectronic notes in theoretical computer science, 2010-12, Vol.268, p.115-129Elsevier B.VTexto completo disponível |