Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2000 (1) 2001 (3)
Publication types (Num. hits)
article(1) inproceedings(2) phdthesis(1)
Venues (Conferences, Journals, ...)
APSEC(1) FASE(1) J. Univers. Comput. Sci.(1)
Authors
Pascal Poizat(4) Christine Choppy(3) Jean-Claude Royer(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 5 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
190Christine Choppy, Pascal Poizat, Jean-Claude Royer Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. Search on Bibsonomy FASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF mixed specification, symbolic transition systems, Korrigan, UML, formal specification, graphical notation
131Christine Choppy, Pascal Poizat, Jean-Claude Royer Formal Specification of Mixed Components with Korrigan. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF mixed specification, Korrigan specification languag, Formal specification, components, reuse
77Pascal Poizat KORRIGAN : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes. (KORRIGAN : a formalism and a method for the formal and structured specification of mixed systems). Search on Bibsonomy 2000   RDF
39Christine Choppy, Pascal Poizat, Jean-Claude Royer The Korrigan Environment. Search on Bibsonomy J. Univers. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
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