Results 231 to 240 of about 14,914,060 (244)

Formal methods for specification and analysis of communication protocols

IEEE Communications Surveys and Tutorials, 2002
Fulvio Babich
exaly  

An empirical research agenda for understanding formal methods productivity

Information and Software Technology, 2015
Gerwin Klein, Toby Murray, Mark Staples   +2 more
exaly  

Formal methods for test sequence generation

Computer Communications, 1992
Hasan Ural
exaly  

Methods of Formal Consensus in Classification/Diagnostic Criteria and Guideline Development

Seminars in Arthritis and Rheumatism, 2011
Rohit Aggarwal, Dinesh Khanna
exaly  

A specifier's introduction to formal methods

Computer, 1990
J M Wing
exaly  

Teaching formal methods in the context of software engineering

SIGCSE Bulletin, 2009
Shaoying Liu
exaly  

What are formal methods?

Information and Software Technology, 1988
exaly  

Ten Commandments of Formal Methods ...Ten Years Later

Computer, 2006
M G Hinchey, J P Bowen
exaly  

Seven myths of formal methods

IEEE Software, 1990
exaly  

Getting the best from formal methods

Information and Software Technology, 1999
exaly