[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/ecbs/SinclairCVHBMKR96>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Alexios_N._Birbas>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/D._Sinclair>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/E._Holz>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/J.-L._Roux>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Kurt_Verschaeve>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Ludo_Cuypers>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/N._Kyrloglou>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/V._Mariatos>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1109%2FECBS.1996.494563>
foaf:homepage <https://doi.org/10.1109/ECBS.1996.494563>
dc:identifier DBLP conf/ecbs/SinclairCVHBMKR96 (xsd:string)
dc:identifier DOI doi.org%2F10.1109%2FECBS.1996.494563 (xsd:string)
dcterms:issued 1996 (xsd:gYear)
rdfs:label A formal approach to HW/SW co-design: the INSYDE project. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Alexios_N._Birbas>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/D._Sinclair>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/E._Holz>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/J.-L._Roux>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Kurt_Verschaeve>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Ludo_Cuypers>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/N._Kyrloglou>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/V._Mariatos>
swrc:pages 372-381 (xsd:string)
dcterms:partOf <https://dblp.l3s.de/d2r/resource/publications/conf/ecbs/1996>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/ecbs/SinclairCVHBMKR96/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/ecbs/SinclairCVHBMKR96>
rdfs:seeAlso <http://dblp.uni-trier.de/db/conf/ecbs/ecbs1996.html#SinclairCVHBMKR96>
rdfs:seeAlso <https://doi.org/10.1109/ECBS.1996.494563>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/ecbs>
dc:subject formal verification; hardware description languages; software tools; object-oriented methods; INSYDE project; hybrid system co-design; formal approach; hardware/software co-design; object-oriented analysis; object-oriented design; formal description languages; SDL; VHDL; requirements capture; validation (xsd:string)
dc:title A formal approach to HW/SW co-design: the INSYDE project. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:InProceedings
rdf:type foaf:Document