The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FM-Trends"( http://dblp.L3S.de/Venues/FM-Trends )

URL (DBLP): http://dblp.uni-trier.de/db/conf/fm

Publication years (Num. hits)
1998 (28) 1999 (1)
Publication types (Num. hits)
inproceedings(28) proceedings(1)
Venues (Conferences, Journals, ...)
FM-Trends(29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 29 publication records. Showing 29 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Dieter Hutter, Werner Stephan 0001, Paolo Traverso, Markus Ullmann (eds.) Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings Search on Bibsonomy FM-Trends The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Einar W. Karlsen The UniForM WorkBench - A Higher Order Tool Integration Framework. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Goldsmith, Irfan Zakiuddin Critical Systems Validation and Verification with CSP and FDR. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alfons Geser, Wolfgang Küchlin Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF List of Keywords propositional satisfiability, functional decision diagram (FDD), formal hardware verification, term rewriting, term graph rewriting
1Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan 0001, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel VSE: Controlling the Complexity in Formal Software Developments. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Giuseppe Del Castillo Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1François Puitg, Jean-François Dufourd Formal Program Development in Geometric Modeling. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Frank Koob, Markus Ullmann, Stefan Wittmann The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Egon Börger High Level System Design and Analysis Using Abstract State Machines. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Bernd Krieg-Brückner UniForM Perspectives for Formal Methods. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Wolfgang Goerigk, Ulrich Hoffmann 0002 Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Oscar Slotosch QUEST: Overview over the Project. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Kirill Bogdanov 0002, Mike Holcombe, Harbhajan Singh Automated Test Set Generation for Statecharts. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sten Agerholm, Peter Gorm Larsen A Lightweight Approach to Formal Methods. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Manfred Broy, Oscar Slotosch Enriching the Software Development Process by Formal Methods. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Mark E. Woodcock The wHOLe System. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Satoshi Yamane A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel KIV 3.0 for Provably Correct Systems. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Meine van der Meulen, Tim Clement Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert PVS: An Experience Report. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Ofer Strichman, Michael Siegel Translation Validation: From DC+ to C*. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann 0001 An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci A Symbolic Model Checker for ACTL. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sten Agerholm, Peter Gorm Larsen The IFAD VDM Tools: Lightweight Formal Methods. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Ora Canada Z/EVES Version 1.5: An Overview. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Tiziana Margaria, Volker Gruhn Flexible and Reliable Process Model Properties: An Integrated Approach. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio, Jean-Marie Farines, Roberto Milton Scheffel, Maria Janilce B. Almeida, Luciano Paschoal Gaspary, Lisandro Zambenedetti Granville, Roberto Willrich, Murilo S. de Camargo, Marcelo Domingos Design of Distributed Multimedia Applications (DAMD). Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Philipp W. Kutter, Daniel Schweizer, Lothar Thiele Integrating Domain Specific Language Design in the Software Life Cycle. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #29 of 29 (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