default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 12
Volume 12, Number 1, January 1998
- Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten:
Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings. 5-38 - Alexandre Yakovlev:
Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets. 39-71 - Radu Negulescu, Janusz A. Brzozowski:
Relative Liveness: From Intuition to Automated Verification. 73-115
Volume 12, Number 2, March 1998
- Stefania Gnesi, Diego Latella
:
Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996 - Selected Papers. 123-124 - James L. Caldwell:
Formal Methods Technology Transfer: A View from NASA. 125-137 - Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano:
A Formal Verification Environment for Railway Signaling System Design. 139-161 - Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde:
The Synchronous Approach to Designing Reactive Systems. 163-187 - Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi:
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. 189-216
Volume 12, Number 3, April 1998
- Farhad Mavaddat, T. Gahlinger:
On Deducing Timing Constraints in the Verification of Interfaces. 223-239 - Ti-Yen Yen, Alex Ishii, Albert E. Casavant, Wayne H. Wolf:
Efficient Algorithms for Interface Timing Verification. 241-265 - Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda:
The General Product Machine: a New Model for Symbolic FSM Traversal. 267-289
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-23 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
