Sciweavers

1809 search results - page 35 / 362
» A Formal Specification of dMARS
Sort
View
88
Voted
WETICE
1997
IEEE
15 years 6 months ago
From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm
Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yah...
EURODAC
1994
IEEE
159views VHDL» more  EURODAC 1994»
15 years 6 months ago
Formal verification of behavioral VHDL specifications: a case study
Felix Nicoli, Laurence Pierre
110
Voted
ESAW
2009
Springer
15 years 5 months ago
Navigational Web-Interfaces from Formal Tropos Specification
Komminist Weldemariam
DFG
2004
Springer
15 years 5 months ago
A Formal Component Concept for the Specification of Industrial Control Systems
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
Benjamin Braatz, Markus Klein, Gunnar Schröte...