Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for ClawZ with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000 (1) 2005 (1) 2009 (1) 2010 (1)
Publication types (Num. hits)
inproceedings(4)
Venues (Conferences, Journals, ...)
ICFEM(2) ASM(1) IFM(1)
Authors
Ana Cavalcanti 0001(2) Frank Zeyda(2) Alf Smith(1) Colin O'Halloran(1) M. M. Adams(1) Michael Vernon(1) P. Caseley(1) Philip B. Clayton(1) R. D. Arthan(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 10 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
70M. M. Adams, Philip B. Clayton ClawZ: Cost-Effective Formal Verification for Control Systems. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof
70R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith ClawZ: Control Laws in Z. Search on Bibsonomy ICFEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
40Michael Vernon, Frank Zeyda, Ana Cavalcanti 0001 Communication Systems in ClawZ. Search on Bibsonomy ASM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Frank Zeyda, Ana Cavalcanti 0001 Mechanised Translation of Control Law Diagrams into Circus. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ClawZ, verification, CSP, Z, Simulink
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license