Checking Subsystem Safety Properties in Compositional Reachability Analysis. | D2R Server publishing the DBLP Bibliography Database, hosted at L3S Research Center

Property	Value
dcterms:bibliographicCitation	<http://dblp.uni-trier.de/rec/bibtex/conf/icse/CheungK96>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Jeff_Kramer>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Shing-Chi_Cheung>
foaf:homepage	<http://portal.acm.org/citation.cfm?id=227726.227755>
dc:identifier	DBLP conf/icse/CheungK96 (xsd:string)
dcterms:issued	1996 (xsd:gYear)
rdfs:label	Checking Subsystem Safety Properties in Compositional Reachability Analysis. (xsd:string)
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Jeff_Kramer>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Shing-Chi_Cheung>
swrc:pages	144-154 (xsd:string)
dcterms:partOf	<https://dblp.l3s.de/d2r/resource/publications/conf/icse/1996>
owl:sameAs	<http://bibsonomy.org/uri/bibtexkey/conf/icse/CheungK96/dblp>
owl:sameAs	<http://dblp.rkbexplorer.com/id/conf/icse/CheungK96>
rdfs:seeAlso	<http://dblp.uni-trier.de/db/conf/icse/icse96.html#CheungK96>
rdfs:seeAlso	<http://portal.acm.org/citation.cfm?id=227726.227755>
swrc:series	<https://dblp.l3s.de/d2r/resource/conferences/icse>
dc:subject	automated method, compositional reachability analysis, distributed processing, distributed program, evolutionary change, finite state machines, finite-state machines, gas station system, globally observable actions, hierarchical subsystem composition, interacting processes, program analysis, program diagnostics, reachability analysis, safety, safety property violation, software architecture, software developers, software engineering, subsystem safety property checking, undefined state (xsd:string)
dc:title	Checking Subsystem Safety Properties in Compositional Reachability Analysis. (xsd:string)
dc:type	<http://purl.org/dc/dcmitype/Text>
rdf:type	swrc:InProceedings
rdf:type	foaf:Document