8828 search results - page 3 / 1766 » Formal methods in practice |
SCP
2002
13 years 6 months ago
2002
FM
2005
Springer
14 years 18 days ago
2005
Springer
SAS
2010
Springer
13 years 5 months ago
2010
Springer
FMAM
2010
13 years 5 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
ENTCS
2007
13 years 7 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...