|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 47 occurrences of 39 keywords
|
|
|
Results
Found 320 publication records. Showing 320 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla |
Analysis of the MPEG-2 Encoding Algorithm with ROSA1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003, pp. 185-202, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Antero Kangas, Antti Valmari |
Verification with the Undefined: A New Look. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003, pp. 124-139, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm |
Recent Trends in the Development of Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003, pp. 140, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jerker Hammarberg, Simin Nadjm-Tehrani |
Development of Safety-Critical Reconfigurable Hardware with Esterel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003, pp. 219-234, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Arts, Wan J. Fokkink (eds.) |
Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Tiziana Margaria, Bernhard Steffen |
Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 66-83, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla |
Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 120-131, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge |
A methodological process for the design of a large system: two industrial case-studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 84-103, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rance Cleaveland, Hubert Garavel |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 211-213, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sylvie Boldo, Marc Daumas |
Properties of the subtraction valid for any floating point system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 132-144, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mustapha Bourahla, Mohamed Benmohamed |
Predicate Abstraction and Refinement for Model Checking VHDL State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 1-16, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Henri Hansen, Wojciech Penczek, Antti Valmari |
Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 178-193, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Ernesto Pimentel 0001 |
A Tool for Abstraction in Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 17-32, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman |
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 104-119, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Juan C. Burguillo-Rial, Martín Llamas Nistal, Manuel J. Fernández-Iglesias, Tomás Robles 0001 |
Heuristic-driven Techniques for Test Case Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 50-65, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | David Lugato, Céline Bigot, Yannick Valot |
Validation and automatic test generation on UML models: the AGATHA approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 33-49, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Thirioux |
Simple and Efficient Translation from LTL Formulas to Buchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 145-159, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Armin Biere, Cyrille Artho, Viktor Schuppan |
Liveness Checking as Safety Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 160-177, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Antti Valmari, Heikki Virtanen, Antti Puhakka |
Context-Sensitive Visibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 194-210, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rance Cleaveland, Hubert Garavel (eds.) |
7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
Displaying result #301 - #320 of 320 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4] |
|