Formal verification of consistency in model-driven development of distributed communicating systems and communication protocols

URI: http://urn.fi/URN:NBN:fi:bib:me:W00043548600
contributor
inLanguage
  • en
isPartOf
name
  • Formal verification of consistency in model-driven development of distributed communicating systems and communication protocols
P60049

Instances

View this in Finna

Formal verification of consistency in model-driven development of distributed communicating systems and communication protocols

URI: http://urn.fi/URN:NBN:fi:bib:me:I00043548600
datePublished
  • 2006
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 837566
  • propertyID: FI-MELINDA value: 000435486
  • propertyID: skl value: fx837566
isbn
  • 9521217499
isPartOf
name
  • Formal verification of consistency in model-driven development of distributed communicating systems and communication protocols
numberOfPages
  • 17, [2] s.
P60048
P60050
publication
  • location: Turku organizer: Turun tietotekniikan tutkimus- ja koulutuskeskus
publisher

Download this resource as RDF: