Detail výsledku

Toward A Unified Formal Model of CBS

FUCHS, A.; KRESLÍKOVÁ, J. Toward A Unified Formal Model of CBS. Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh: unknown, 2000. p. 59-61. ISBN: 1-85-769121-0.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Fuchs Alois, doc. Ing., CSc.
Kreslíková Jitka, doc. RNDr., CSc.
Rok
2000
Strany
59–61
Sborník
Joint Workshop on Formal Specifications of Computer-Based Systems
ISBN
1-85-769121-0
Vydavatel
unknown
Místo
Edinburgh
BibTeX
@inproceedings{BUT191901,
  author="Alois {Fuchs} and Jitka {Kreslíková}",
  title="Toward A Unified Formal Model of CBS",
  booktitle="Joint Workshop on Formal Specifications of Computer-Based Systems",
  year="2000",
  pages="59--61",
  publisher="unknown",
  address="Edinburgh",
  isbn="1-85-769121-0"
}
Výzkumné skupiny
Pracoviště
Nahoru