|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
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 |
| 1 | Dieter 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  |
FM-Trends  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar W. Karlsen |
The UniForM WorkBench - A Higher Order Tool Integration Framework. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Goldsmith, Irfan Zakiuddin |
Critical Systems Validation and Verification with CSP and FDR. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfons Geser, Wolfgang Küchlin |
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
List of Keywords propositional satisfiability, functional decision diagram (FDD), formal hardware verification, term rewriting, term graph rewriting |
| 1 | Dieter 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. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Del Castillo |
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | François Puitg, Jean-François Dufourd |
Formal Program Development in Geometric Modeling. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Koob, Markus Ullmann, Stefan Wittmann |
The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu |
Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
High Level System Design and Analysis Using Abstract State Machines. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner |
UniForM Perspectives for Formal Methods. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Goerigk, Ulrich Hoffmann 0002 |
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar Slotosch |
QUEST: Overview over the Project. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirill Bogdanov 0002, Mike Holcombe, Harbhajan Singh |
Automated Test Set Generation for Statecharts. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sten Agerholm, Peter Gorm Larsen |
A Lightweight Approach to Formal Methods. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Oscar Slotosch |
Enriching the Software Development Process by Formal Methods. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark E. Woodcock |
The wHOLe System. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Satoshi Yamane |
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
KIV 3.0 for Provably Correct Systems. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Meine van der Meulen, Tim Clement |
Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert |
PVS: An Experience Report. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Pnueli, Ofer Strichman, Michael Siegel |
Translation Validation: From DC+ to C*. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann 0001 |
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci |
A Symbolic Model Checker for ACTL. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sten Agerholm, Peter Gorm Larsen |
The IFAD VDM Tools: Lightweight Formal Methods. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ora Canada |
Z/EVES Version 1.5: An Overview. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Volker Gruhn |
Flexible and Reliable Process Model Properties: An Integrated Approach. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wanderley 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). |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp W. Kutter, Daniel Schweizer, Lothar Thiele |
Integrating Domain Specific Language Design in the Software Life Cycle. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license