On the computational complexity of reachability in 2D binary images and some basic problems of 2D digital topology

By Malgouyres R.   More M.  

Theoretical Computer Science, Vol. 283, Iss. 1, 2002-06 ,pp. : 67-108

Elsevier

Access to resources Recommend Favorite

A formal nethod (a networked formal method)

By Breuer Peter  

Innovations in Systems and Software Engineering, Vol. 6, Iss. 4, 2010-12 ,pp. : 255-268

Springer Publishing Company

Access to resources Recommend Favorite

Sweeping Points

By Dumitrescu Adrian   Jiang Minghui  

Algorithmica, Vol. 60, Iss. 3, 2011-07 ,pp. : 703-717

Springer Publishing Company

Access to resources Recommend Favorite

The meaning of “formal”: from weak to strong formal methods

By Wolper Pierre  

International Journal on Software Tools for Technology Transfer, Vol. 1, Iss. 1-2, 1997-12 ,pp. : 6-8

Springer Publishing Company

Access to resources Recommend Favorite

Formal and semi-formal verification of a web voting system

By CristiaMaximilianoCIFASIS and UNR   Rosario   Argentina   FrydmanClaudiaLSIS-CIFASIS   Marseille   France  

International Journal of Web Information Systems, Vol. 11, Iss. 2, 2015-06 ,pp. : 183-204

Emerald Group Publishing Ltd

Access to resources Recommend Favorite