Formal specifications of computer-based systems

M. Sveda; C. Rattray; Jerzy W Rozenblit

doi:10.1109/ECBS.2002.999842

Formal specifications of computer-based systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	224-225
Number of pages	2
ISBN (Electronic)	0769515495, 9780769515496
DOIs	https://doi.org/10.1109/ECBS.2002.999842
State	Published - 2002
Event	9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002 - Lund, Sweden Duration: Apr 8 2002 → Apr 11 2002

Publication series

Name	Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002

Other

Other	9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002
Country/Territory	Sweden
City	Lund
Period	4/8/02 → 4/11/02

Keywords

Automata
Computer Society
Computer science
Conferences
Executive Committee
Formal specifications
Interference
Operating systems
Protocols
TCPIP

ASJC Scopus subject areas

Computational Theory and Mathematics
Computer Science Applications

Access to Document

10.1109/ECBS.2002.999842

Cite this

Sveda, M., Rattray, C., & Rozenblit, J. W. (2002). Formal specifications of computer-based systems. In Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002 (pp. 224-225). [999842] (Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ECBS.2002.999842

Formal specifications of computer-based systems. / Sveda, M.; Rattray, C.; Rozenblit, Jerzy W.

Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002. Institute of Electrical and Electronics Engineers Inc., 2002. p. 224-225 999842 (Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Sveda, M, Rattray, C & Rozenblit, JW 2002, Formal specifications of computer-based systems. in Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002., 999842, Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002, Institute of Electrical and Electronics Engineers Inc., pp. 224-225, 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002, Lund, Sweden, 4/8/02. https://doi.org/10.1109/ECBS.2002.999842

Sveda M, Rattray C, Rozenblit JW. Formal specifications of computer-based systems. In Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002. Institute of Electrical and Electronics Engineers Inc. 2002. p. 224-225. 999842. (Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002). doi: 10.1109/ECBS.2002.999842

Sveda, M. ; Rattray, C. ; Rozenblit, Jerzy W. / Formal specifications of computer-based systems. Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002. Institute of Electrical and Electronics Engineers Inc., 2002. pp. 224-225 (Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002).

@inproceedings{00665d0270fc4bf7803b904cc7c4b5ec,

title = "Formal specifications of computer-based systems",

keywords = "Automata, Computer Society, Computer science, Conferences, Executive Committee, Formal specifications, Interference, Operating systems, Protocols, TCPIP",

author = "M. Sveda and C. Rattray and Rozenblit, {Jerzy W}",

year = "2002",

doi = "10.1109/ECBS.2002.999842",

language = "English (US)",

series = "Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "224--225",

booktitle = "Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002",

note = "9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002 ; Conference date: 08-04-2002 Through 11-04-2002",

}

TY - GEN

T1 - Formal specifications of computer-based systems

AU - Sveda, M.

AU - Rattray, C.

AU - Rozenblit, Jerzy W

PY - 2002

Y1 - 2002

KW - Automata

KW - Computer Society

KW - Computer science

KW - Conferences

KW - Executive Committee

KW - Formal specifications

KW - Interference

KW - Operating systems

KW - Protocols

KW - TCPIP

UR - http://www.scopus.com/inward/record.url?scp=84949656882&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84949656882&partnerID=8YFLogxK

U2 - 10.1109/ECBS.2002.999842

DO - 10.1109/ECBS.2002.999842

M3 - Conference contribution

AN - SCOPUS:84949656882

T3 - Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002

SP - 224

EP - 225

BT - Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002

Y2 - 8 April 2002 through 11 April 2002

ER -

Formal specifications of computer-based systems

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this