Search results for "FMICS"

Found 320 publication records. Showing 320 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link
1	Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla	Analysis of the MPEG-2 Encoding Algorithm with ROSA1.	FMICS	2003	DBLP DOI BibTeX RDF
1	Antero Kangas, Antti Valmari	Verification with the Undefined: A New Look.	FMICS	2003	DBLP DOI BibTeX RDF
1	Werner Damm	Recent Trends in the Development of Safety Critical Systems.	FMICS	2003	DBLP DOI BibTeX RDF
1	Jerker Hammarberg, Simin Nadjm-Tehrani	Development of Safety-Critical Reconfigurable Hardware with Esterel.	FMICS	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	FMICS	2003	DBLP BibTeX RDF
1	Tiziana Margaria, Bernhard Steffen	Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination.	FMICS	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.	FMICS	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.	FMICS	2002	DBLP DOI BibTeX RDF
1	Rance Cleaveland, Hubert Garavel	Foreword.	FMICS	2002	DBLP DOI BibTeX RDF
1	Sylvie Boldo, Marc Daumas	Properties of the subtraction valid for any floating point system.	FMICS	2002	DBLP DOI BibTeX RDF
1	Mustapha Bourahla, Mohamed Benmohamed	Predicate Abstraction and Refinement for Model Checking VHDL State Machines.	FMICS	2002	DBLP DOI BibTeX RDF
1	Henri Hansen, Wojciech Penczek, Antti Valmari	Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties.	FMICS	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.	FMICS	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.	FMICS	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.	FMICS	2002	DBLP DOI BibTeX RDF
1	David Lugato, Céline Bigot, Yannick Valot	Validation and automatic test generation on UML models: the AGATHA approach.	FMICS	2002	DBLP DOI BibTeX RDF
1	Xavier Thirioux	Simple and Efficient Translation from LTL Formulas to Buchi Automata.	FMICS	2002	DBLP DOI BibTeX RDF
1	Armin Biere, Cyrille Artho, Viktor Schuppan	Liveness Checking as Safety Checking.	FMICS	2002	DBLP DOI BibTeX RDF
1	Antti Valmari, Heikki Virtanen, Antti Puhakka	Context-Sensitive Visibility.	FMICS	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	FMICS	2002	DBLP BibTeX RDF

Displaying result #301 - #320 of 320 (100 per page; Change: )
Pages: [<<][1][2][3][4]

Publications at "FMICS"( http://dblp.L3S.de/Venues/FMICS )