Introductory paper

被引：0

作者：

Jaco van de Pol

机构：

[1] Centrum voor Wiskunde en Informatica,Dept. of Software Engineering

来源：

International Journal on Software Tools for Technology Transfer | 2004年 / 5卷 / 2-3期

关键词：

Model Check; Formal Method; Smart Card; Constraint Logic Programming; Model Check Tool;

D O I：

10.1007/s10009-003-0138-1

中图分类号：

学科分类号：

摘要：

This section is based on selected papers from the 6th and 7th ERCIM workshops on Formal Methods in Industrial Critical Systems. These papers either extend the state of the art in model checking and automatic test generation or they address the methodology for applying tools based on formal methods. Also, some important experiences are reported from industrial cases in which formal methods have been applied.

引用

页码：105 / 106

页数：1

共 50 条

[31] MECHANISM OF MOVEMENT OF SOLUTIONS IN PLANTS - INTRODUCTORY PAPER
PRESTON, RD
[J]. DISCUSSIONS OF THE FARADAY SOCIETY, 1948, 3 : 130 - 133
[32] Introductory note to Lidia Lonzi's paper
Nespor, Marina
Renzi, Lorenzo
[J]. ITALIAN JOURNAL OF LINGUISTICS, 2010, 22 (02): : 359 - 361
[33] V/STOL SESSION INTRODUCTORY AND REVIEW PAPER
CAMPBELL, JP
[J]. ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1968, 154 (A2) : 843 - &
[34] OXYGEN OVERVOLTAGE .4. INTRODUCTORY PAPER
HICKLING, A
[J]. DISCUSSIONS OF THE FARADAY SOCIETY, 1947, 1 : 225 - 226
[35] PHYSICAL ADSORPTION IN CONDENSED PHASES - INTRODUCTORY PAPER
EVERETT, DH
[J]. FARADAY DISCUSSIONS, 1975, 59 : 7 - 12
[36] SPECIAL ISSUE ON NUTRITION AND HEALTH - INTRODUCTORY PAPER
GLENBOTT, M
[J]. INTERNATIONAL JOURNAL OF ENVIRONMENTAL STUDIES, 1978, 12 (01) : 1 - 3
[37] INTRODUCTORY PAPER AT MEETING OF WORKING PARTY FOOT AND SHOE
THOMSEN, W
[J]. ZEITSCHRIFT FUR ORTHOPADIE UND IHRE GRENZGEBIETE, 1972, 110 (06): : 846 - 847
[38] SPECIAL ISSUE ON ETHICS, ECONOMICS AND THE ENVIRONMENT (INTRODUCTORY PAPER)
PEARCE, DW
[J]. INTERNATIONAL JOURNAL OF ENVIRONMENTAL STUDIES, 1983, 21 (01) : 1 - 3
[39] ELECTRON TRANSFER REACTIONS - INTRODUCTORY PAPER .1.
EVANS, MG
[J]. TRANSACTIONS OF THE FARADAY SOCIETY, 1946, 42 (3-4): : 101 - 106
[40] Non-contact extrudate profilometer - Introductory paper
Taylor, R
Hancock, N
TranCong, T
[J]. FOURTH ANNUAL CONFERENCE ON MECHATRONICS AND MACHINE VISION IN PRACTICE, PROCEEDINGS, 1997, : 158 - 162

← 1 2 3 4 5 →