|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Detecting races in Relay Ladder Logic programs |
Aiken, Alexander |
2000 |
3 | 1 |
p. 93-105 |
artikel |
|
| 2 | High-automation proofs for properties of requirements models |
Di Vito, Ben L. |
2000 |
3 | 1 |
p. 20-31 |
artikel |
|
| 3 | Mechanized result verification: an industrial application |
Traverso, Paolo |
2000 |
3 | 1 |
p. 78-92 |
artikel |
|
| 4 | Theorem proving in technology transfer: the user’s point of view |
Giunchiglia, Fausto |
2000 |
3 | 1 |
p. 1-12 |
artikel |
|
| 5 | Using an induction prover for verifying arithmetic circuits |
Kapur, Deepak |
2000 |
3 | 1 |
p. 32-65 |
artikel |
|
| 6 | Verification of Year 2000 conversion rules using the ACL2 theorem prover |
Kaufmann, Matt |
2000 |
3 | 1 |
p. 13-19 |
artikel |
|
| 7 | VSE: formal methods meet industrial needs |
Autexier, Serge |
2000 |
3 | 1 |
p. 66-77 |
artikel |
7 gevonden resultaten