[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/iceccs/ToetenelSSK96>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Hans_Toetenel>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Jan_van_Katwijk>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Ronald_F._Lutje_Spelberg>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Sylvia_Stuurman>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1109%2FICECCS.1996.558488>
foaf:homepage <https://doi.org/10.1109/ICECCS.1996.558488>
dc:identifier DBLP conf/iceccs/ToetenelSSK96 (xsd:string)
dc:identifier DOI doi.org%2F10.1109%2FICECCS.1996.558488 (xsd:string)
dcterms:issued 1996 (xsd:gYear)
rdfs:label Modeling and analysis of complex computer systems-the MTCCS approach. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Hans_Toetenel>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Jan_van_Katwijk>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Ronald_F._Lutje_Spelberg>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Sylvia_Stuurman>
swrc:pages 423- (xsd:string)
dcterms:partOf <https://dblp.l3s.de/d2r/resource/publications/conf/iceccs/1996>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/iceccs/ToetenelSSK96/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/iceccs/ToetenelSSK96>
rdfs:seeAlso <http://dblp.uni-trier.de/db/conf/iceccs/iceccs1996.html#ToetenelSSK96>
rdfs:seeAlso <https://doi.org/10.1109/ICECCS.1996.558488>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/iceccs>
dc:subject formal specification; complex computer systems modeling; complex computer systems analysis; MTCCS approach; work in progress; formal specification; verification; real time concurrent systems; non trivial data component; Timed CCS; Model Oriented Timed Calculus of Communicating Systems; model oriented data language; VDM; operational style; temporal logic properties; symbolic model checking; combination notation; specification language (xsd:string)
dc:title Modeling and analysis of complex computer systems-the MTCCS approach. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:InProceedings
rdf:type foaf:Document