Matches in DBpedia 2014 for { <http://dbpedia.org/resource/CHIC_(electronics)> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- CHIC_(electronics) abstract "CHIC (Checker for Interface Compatibility) is a modular verifier for behavioral compatibility checking of hardware and software systems. The goal of CHIC is to be able to check that the interfaces for software or hardware components provide guarantees that satisfy the assumptions they make about each other. CHIC supports a variety of interface property specification formalisms for a variety of application domains, such as resource-usage analysis for embedded systems, behavioral compatibility of web service applications, etc.".
- CHIC_(electronics) wikiPageExternalLink chic.
- CHIC_(electronics) wikiPageID "1910394".
- CHIC_(electronics) wikiPageRevisionID "250429002".
- CHIC_(electronics) hasPhotoCollection CHIC_(electronics).
- CHIC_(electronics) subject Category:Formal_methods_tools.
- CHIC_(electronics) type Artifact100021939.
- CHIC_(electronics) type FormalMethodsTools.
- CHIC_(electronics) type Implement103563967.
- CHIC_(electronics) type Instrumentality103575240.
- CHIC_(electronics) type Object100002684.
- CHIC_(electronics) type PhysicalEntity100001930.
- CHIC_(electronics) type Tool104451818.
- CHIC_(electronics) type Whole100003553.
- CHIC_(electronics) comment "CHIC (Checker for Interface Compatibility) is a modular verifier for behavioral compatibility checking of hardware and software systems. The goal of CHIC is to be able to check that the interfaces for software or hardware components provide guarantees that satisfy the assumptions they make about each other.".
- CHIC_(electronics) label "CHIC (electronics)".
- CHIC_(electronics) sameAs m.065j5z.
- CHIC_(electronics) sameAs Q5011149.
- CHIC_(electronics) sameAs Q5011149.
- CHIC_(electronics) sameAs CHIC_(electronics).
- CHIC_(electronics) wasDerivedFrom CHIC_(electronics)?oldid=250429002.
- CHIC_(electronics) isPrimaryTopicOf CHIC_(electronics).