Formal specifications of computer-based systems

M. Sveda, C. Rattray, Jerzy W Rozenblit

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The IFIP TC10 Working Group 10.1 "Computer Aided Systems Theory" Committee Meeting at the Vienna University of Technology on the 30th September 1999, resulted in a resolution to support a joint workshop with the IEEE Computer Society TC-ECBS on Formal Specifications of Computer-Based Systems (FS CBS). Owing to a substantial overlap in this research domain, Franz Pichler, the founder of the IFIP WG10.1, and Charles Rattray, the IFIP WG10.1 chair, delegated Miroslav Sveda, a member of both WG10.1 and TC-ECBS, to act as a contact person in this activity. The ECBS Executive Committee has welcomed and greatly supported the initiation and implementation of the IEEE/IFIP Joint Workshops on FS CBS as Formal Specifications Working Group Sessions following annual ECBS Conferences.

Original languageEnglish (US)
Title of host publicationProceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages169-172
Number of pages4
ISBN (Print)0769519172, 9780769519173
DOIs
StatePublished - 2003
Event10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003 - Huntsville, United States
Duration: Apr 7 2003Apr 10 2003

Other

Other10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003
CountryUnited States
CityHuntsville
Period4/7/034/10/03

Keywords

  • Automata
  • Conferences
  • Distributed computing
  • Embedded computing
  • Formal specifications
  • Interference
  • Petri nets
  • Protocols
  • Systems engineering and theory
  • Unified modeling language

ASJC Scopus subject areas

  • Hardware and Architecture
  • Control and Systems Engineering

Fingerprint Dive into the research topics of 'Formal specifications of computer-based systems'. Together they form a unique fingerprint.

  • Cite this

    Sveda, M., Rattray, C., & Rozenblit, J. W. (2003). Formal specifications of computer-based systems. In Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003 (pp. 169-172). [1194796] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ECBS.2003.1194796