|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kasilingam Periyasamy, Vangalur S. Alagar |
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 28-39, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Lars Mats |
Selection Criteria for Automated TTCN Test Case Generation from SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 10-11, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | |
2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![IEEE Computer Society, 0-7695-0081-1 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Constance L. Heitmeyer |
Using the SCR* Toolset to Specify Software Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 12-, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann |
Implementing Statecharts in PROMELA/SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 90-101, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Andy S. Evans |
Reasoning with UML Class Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 102-113, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt 0002 |
Autolink: A Tool for Automatic Test Generation from SDL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 114-, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil |
Transferring Formal Methods Technology to Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 128-, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Steven P. Mille |
The Industrial Use of Formal Methods: Was Darwin Right? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 74-, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Frank Weil |
WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 134-, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Martin S. Feather, Julia R. Dunphy, Nicolas Rouquette |
"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 140-, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mark R. Blackburn |
T-VECTM Product Summary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 86-, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Betty H. C. Cheng |
A Discussion About Integrated Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 65-, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura |
Applying SOFL to Specify A Railway Crossing Controller for Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 16-27, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
formal engineering methods, formal speci_cation, railway crossing controller, Safety-critical systems, functional requirements, safety requirements |
1 | Siddhartha R. Dalal, Ashish Jain, Gardner C. Patton, Manish Rathi, Paul D. Seymour |
AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 84-85, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Hall |
What Does Industry Need From Formal Specification Techniques? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 2-, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mark R. Blackburn, Robert Busser |
Requirements for Industrial-Strength Formal Method Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 137-, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Paul Dietz, Thomas Weigert, Frank Weil |
Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 40-, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Bruel |
Integrating Formal and Informal Specification Techniques. Why? How? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 50-, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mats Per Erik Heimdahl, Constance L. Heitmeyer |
Formal Methods For Developing High Assurance Computer Systems: Working Group Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 60-, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | David Hamilton, Richard Covington, John Kelly, Carron Kirkwood, Muffy Thomas, Alan R. Flora-Holmquist, Mark G. Staskauskas, Steven P. Miller, Mandayam K. Srivas, George Cleland, Donald MacKenzie |
Experiences in applying formal methods to the analysis of software and system requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995, pp. 30-43, 1995, IEEE Computer Society, 0-8186-7005-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | |
Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![IEEE Computer Society, 0-8186-7005-3 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Carron Kirkwood, Muffy Thomas |
Experiences with specification and verification in LOTOS: a report on two case studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995, pp. 159-171, 1995, IEEE Computer Society, 0-8186-7005-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alan R. Flora-Holmquist, Mark G. Staskauskas |
Formal validation of virtual finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995, pp. 122-129, 1995, IEEE Computer Society, 0-8186-7005-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | C. Minkowitz, D. Rann, J. H. Turner |
A C++ library for implementing specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995, pp. 61-75, 1995, IEEE Computer Society, 0-8186-7005-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Vicky Hartonas-Garmhausen, Thomas R. Kurfess, Edmund M. Clarke, David E. Long |
Automatic verification of industrial designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995, pp. 88-96, 1995, IEEE Computer Society, 0-8186-7005-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Leonor Maria Melo Torcato Barroca, John S. Fitzgerald, L. Spencer |
The architectural specification of an avionic subsystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995, pp. 17-29, 1995, IEEE Computer Society, 0-8186-7005-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan S. Ostroff |
Automated modular specification and verification of real-time reactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995, pp. 108-121, 1995, IEEE Computer Society, 0-8186-7005-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | George Cleland, Donald MacKenzie |
Inhibiting factors, market structure and the industrial uptake of formal methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995, pp. 46-60, 1995, IEEE Computer Society, 0-8186-7005-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jon Hagar, James M. Bieman |
Adding formal specifications to a proven V&V process for system-critical flight software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995, pp. 76-85, 1995, IEEE Computer Society, 0-8186-7005-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael Ingleby, David J. Mee |
A calculus of hazard for railway signalling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995, pp. 146-158, 1995, IEEE Computer Society, 0-8186-7005-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen |
A formal approach to reactive systems software: a telecommunications application in ESTEREL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995, pp. 132-145, 1995, IEEE Computer Society, 0-8186-7005-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea |
Timing analysis of industrial real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995, pp. 97-107, 1995, IEEE Computer Society, 0-8186-7005-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Steven P. Miller, Mandayam K. Srivas |
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995, pp. 2-16, 1995, IEEE Computer Society, 0-8186-7005-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|