MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "What is "Formal" Analysis?" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

599,340 documents found, showing 1 through 10. Next 10 →

ATOM

Program extraction in constructive analysis. Submitted to: Logicism, Intuitionism, and Formalism
by Helmut Schwichtenberg — 2006
… reports on experiences in formalizing proofs in constructive analysis and extracting programs from them…
Cited by 1 (0 self) – Add To MetaCart

What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal
by Catherine Meadows — 2003 — in Formal Cryptographic Protocol Analysis. Proc. ESOP, Springer LNCS 2618
…What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal…
Cited by 3 (0 self) – Add To MetaCart

Formal Methods Adoption: What's working, What's not!
by Dan Craigen — 1999 — in The 6th International SPIN Workshop on Practical Aspects of Model Checking
…Formal Methods Adoption: What’s working, What’s not! Dan Craigen ORA Canada 1208 ONE Nicholas…
Cited by 1 (0 self) – Add To MetaCart

INTEGRATED FORMAL METHODS FOR SAFETY ANALYSIS OF TRAIN SYSTEMS
by Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn
…INTEGRATED FORMAL METHODS FOR SAFETY ANALYSIS OF TRAIN SYSTEMS Wolfgang Reif, Frank Ortmeier…
Add To MetaCart

Formal Concept Analysis And Formal Methods
by Thomas Tilley — 2000
…FORMAL CONCEPT ANALYSIS AND FORMAL METHODS Thomas Tilley t.tilley@(email omitted); faculty…
Add To MetaCart

Wh-islands in TAG and Related Formalisms
by Owen Rambow And, Owen Rambow, K. Vijay-shankery — 1998 — Institute for Research in Cognitive Science, University of Pennsylvania
… which what features of the formal (mathematical) definition of TAG contribute to the correct analysis…
Add To MetaCart

What is the method in applying formal methods to PLC applications?
by Angelika Mader And, Angelika Mader — 2000 — 4th Int. Conf. Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM
…What is the method in applying formal methods to PLC applications? Angelika Mader and Hanno…
Add To MetaCart

What is the method in applying formal methods to PLC applications?
by Angelika Mader, Hanno Wupper — 2000 — 4th Int. Conf. Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM
…What is the method in applying formal methods to PLC applications? Angelika Mader and Hanno…
Cited by 1 (0 self) – Add To MetaCart

Formalizing Scenario Analysis
by Peter Mcburney, Simon Parsons — 2002
…Formalizing Scenario Analysis Peter McBurney and Simon Parsons Department of Computer Science…
Cited by 3 (3 self) – Add To MetaCart

Formal Specification and Analysis of the Group
by Domain Of Intrepretation, Catherine Meadows, Paul Syverson, Iliano Cervesato — 2003 — Journal of Computer Security
…Formal Specification and Analysis of the Group Domain of Intrepretation Protocol Using NPATRL…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB