Skip to search formSkip to main contentSkip to account menu

Formal methods

Known as: Formal techniques, Formal, Formal development 
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
In an air conditioner, at least one up-down wind direction board rotates in an up-down direction around almost horizontal… 
2004
2004
This paper presents a predicative semantic model for integrating models from UML class diagrams and sequence diagrams. The… 
Review
2003
Review
2003
  • Stefan HüsigS. Kohn
  • 2003
  • Corpus ID: 14913121
In this paper we construct and propose an empirical-based research framework for the so-called “Fuzzy Front End” (FFE) of the… 
2003
2003
The rt a odel-based engineering process. As it was discussed in a previous paper [1], there are several for doing this. (1) We… 
2001
2001
2001
2001
  • I. Ray
  • 2001
  • Corpus ID: 2759439
In this paper we propose an e-commerce protocol for trading digital products over the Internet. The novel features of our… 
2001
2001
We formally verify the parameters on the timing of message windows in transmitters, receivers, and bus guardians for the Time… 
1999
1999
We present a formal model for the specification of telephone features by means of description logics. Our framework permits the… 
1995
1995
With the introduction of complex analog designs the need to verify the circuit behavior completely and efficiently cannot be…