MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Formalism and Method." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 10,355 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Formalism and Method  
  • by Egidio Astesiano, Gianna Reggio — 1999
  • …Formalism and Method ? Egidio Astesiano and Gianna Reggio Dipartimento di Informatica e Scienze…
  • Cited by 14 (4 self) – Add To MetaCart
  • Formal Methods 1 Formal Methods  
  • by Markus Roggenbach — 2004
  • … Formal Methods Markus Roggenbach September 2004 Formal Methods 1 Formal Methods "Use…
  • Add To MetaCart
  • Limits of formal methods  
  • by Ralf Kneuper — 1997 — Formal Aspects of Computing
  • …Formal Aspects of Computing (1997) 3: 1{000 c 1997 BCS Limits of Formal Methods Ralf Kneuper…
  • Cited by 2 (0 self) – Add To MetaCart
  • On the Need for Practical Formal Methods  
  • by Constance Heitmeyer — 1998 — In Formal Techniques in RealTime and Real-Time Fault-Tolerant Systems, Proc., 5th Intern. Symposium (FTRTFT'98
  • …On the Need for Practical Formal Methods ? Constance Heitmeyer Naval Research Laboratory, Code…
  • Cited by 15 (1 self) – Add To MetaCart
  • FORTEST: Formal Methods and Testing  
  • by Jonathan P. Bowen, Kirill Bogdanov, John Clark, Mark Harman, Robert Hierons, Paul Krause — 2002 — Proceedings of 26th Annual International Computer Software and Applications Conference (COMPSAC 02
  • …FORTEST: Formal Methods and Testing Jonathan P. Bowen South Bank University, Centre for Applied…
  • Cited by 2 (2 self) – Add To MetaCart
  • Automated Deduction and Formal Methods  
  • by John Rushby — 1996 — Computer-Aided Verification, CAV ’96, Volume 1102 of Springer-Verlag Lecture Notes in Computer Science
  • …, Springer Verlag LNCS 1102, pp. 169--183, July 1996 Automated Deduction and Formal Methods ? John Rushby…
  • Cited by 12 (4 self) – Add To MetaCart
  • Developing Tools for Formal Methods  
  • by P. Kefalas, G. Eleftherakis, A. Sotiriadou — 2003 — In 9th Panhellenic Conference on Informatics, Thessaloniki
  • …Developing Tools for Formal Methods P.Kefalas, G.Eleftherakis and A.Sotiriadou City Liberal…
  • Cited by 6 (4 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB