2514 search results - page 21 / 503 » The use of industrial-strength formal methods |
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
70
Voted
CAV
2003
Springer
15 years 7 months ago
2003
Springer
102
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
FMCAD
2009
Springer
15 years 6 months ago
2009
Springer
108
Voted
IAT
2008
IEEE
15 years 8 months ago
2008
IEEE
Social networks are very popular nowadays and the understanding of their inner structure seems to be promising area. Several approaches for the social network structure visualizat...