Formal specifications of computer-based systems

M. Sveda, C. Rattray, Jerzy W Rozenblit

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

Original languageEnglish (US)
Title of host publicationProceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages224-225
Number of pages2
ISBN (Electronic)0769515495, 9780769515496
DOIs
StatePublished - 2002
Event9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002 - Lund, Sweden
Duration: Apr 8 2002Apr 11 2002

Publication series

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

Other

Other9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002
Country/TerritorySweden
CityLund
Period4/8/024/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

Cite this