Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Formalization and Verification of Behavioral Correctness of Dynamic Software UpdatesZhang, Min ; Ogata, Kazuhiro ; Futatsugi, KokichiElectronic notes in theoretical computer science, 2013-03, Vol.294, p.12-23Elsevier B.VTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
PEF: Python Error FinderBarsotti, Damián ; Bordese, Andrés M. ; Hayes, TomásElectronic notes in theoretical computer science, 2018-07, Vol.339, p.21-41Elsevier B.VTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Modeling and Verification of RBC Handover ProtocolYang, Kai ; Duan, Zhenhua ; Tian, CongElectronic notes in theoretical computer science, 2014-12, Vol.309, p.51-62Elsevier B.VTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic PrioritiesMiné, AntoineElectronic notes in theoretical computer science, 2017-03, Vol.331, p.3-39Elsevier B.VTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Numerically-aided Deductive Safety Proof for a Powertrain Control SystemAréchiga, Nikos ; Kapinski, James ; Deshmukh, Jyotirmoy V. ; Platzer, André ; Krogh, BruceElectronic notes in theoretical computer science, 2015-11, Vol.317, p.19-25Elsevier B.VTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Bounded Model Checking of Traffic Light Control SystemYu, Bin ; Duan, Zhenhua ; Tian, CongElectronic notes in theoretical computer science, 2014-12, Vol.309, p.63-74Elsevier B.VTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
A Relative Timed Semantics for BPMNWong, Peter Y.H. ; Gibbons, JeremyElectronic notes in theoretical computer science, 2009-07, Vol.229 (2), p.59-75Elsevier B.VTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Automated Verification of Signalling Principles in Railway Interlocking SystemsKanso, Karim ; Moller, Faron ; Setzer, AntonElectronic notes in theoretical computer science, 2009-09, Vol.250 (2), p.19-31Elsevier B.VTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Towards Verifying Model TransformationsNarayanan, Anantha ; Karsai, GaborElectronic notes in theoretical computer science, 2008-04, Vol.211, p.191-200Elsevier B.VTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Security of RFID Protocols – A Case Studyvan Deursen, Ton ; Radomirović, SašaElectronic notes in theoretical computer science, 2009-08, Vol.244, p.41-52Elsevier B.VTexto completo disponível |