2702 search results - page 8 / 541 » Practically Applicable Formal Methods |
ENTCS
2007
14 years 9 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
EUROMICRO
2000
IEEE
15 years 2 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
QSIC
2003
IEEE
15 years 2 months ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
97
Voted
TSE
2002
14 years 9 months ago
2002
