Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 31 matches
- 1994
- Richard L. Tenney, Paul D. Amer, M. Ümit Uyar:
Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993. IFIP Transactions C-22, North-Holland 1994, ISBN 0-444-81773-5 [contents] - 1993
- Jari Arkko:
On the Existence and Production of State Identification Machines for Labelled Transition Systems. FORTE 1993: 351-366 - Tommaso Bolognesi, Giuseppe Ciaccio:
Cumulating constraints on the "WHEN" and the "WHAT". FORTE 1993: 433-448 - Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd:
Time Versus Abstraction in Formal Description. FORTE 1993: 467-482 - Jan Bredereke, Reinhard Gotzhein:
Increasing the Concurrency in Estelle. FORTE 1993: 125-139 - Ana R. Cavalli, Sung Un Kim, Patrick Maigron:
Improving Conformance Testing for LOTOS. FORTE 1993: 367-381 - Ricardo Civalero, Bengt Jonsson, Joakim Nilsson:
Validating Simulations Between Large Nondeterministic Specifications. FORTE 1993: 3-17 - Ole Christian Dahl, Elie Najm:
Specification & Detection of IN Service Interference Using LOTOS. FORTE 1993: 53-69 - A. Divin, Claude Petitpierre:
An Object Oriented Method for Implementing Layered Protocols. FORTE 1993: 401-416 - Stefan Fischer, Bernd Hofmann:
An Estelle Compiler for Multiprocessor Platforms. FORTE 1993: 171-186 - Heping He, Hussein Zedan:
Requirement Specification For Real-Time and Hybrid Systems. FORTE 1993: 269-284 - S. Purushothaman Iyer:
Experiments in Data flow analysis of Communicating Finite State Machines. FORTE 1993: 141-153 - Joost-Pieter Katoen, Rom Langerak, Diego Latella:
Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. FORTE 1993: 253-268 - Ferhat Khendek, Gregor von Bochmann:
Incremental Construction Approach for Distributed System Specifications. FORTE 1993: 87-102 - Peter B. Ladkin, Stefan Leue:
What Do Message Sequence Charts Mean? FORTE 1993: 301-316 - Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen:
Correctness of At-Most-Once Message Delivery Protocols. FORTE 1993: 385-400 - Gonzalo León, J. Carracedo, J. C. Moreno, Juan C. Yelmo, Juan J. Gil, Carlos Sánchez, F. Javier Carrasco:
An Industrial Experience on Development with LOTOS and SDL. FORTE 1993: 219-234 - Luc Léonard, Guy Leduc:
An Enhanced Version of Timed LOTOS and its Application to a Case Study. FORTE 1993: 483-498 - Anthony C. C. Lo, Richard Lai:
Integrating Estelle and ASN.1 for Automatic Implementation. FORTE 1993: 155-169 - Maria Manuela Marques, Dag Belsnes, Malachy Murphy:
Formalisation Based on Understanding. FORTE 1993: 417-432 - Akio Nakata, Teruo Higashino, Kenichi Taniguchi:
LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. FORTE 1993: 451-466 - Sanjai Narain, Orville Cockings, Ritu Chadha:
A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. FORTE 1993: 235-250 - Graeme I. P. Parkin, Stephen Austin:
Overview: Survey of Formal Methods in Industry. FORTE 1993: 189-203 - Juan Quemada, David Larrabeiti, Santiago Pavón:
Compressing the State Space Representation of LOTOS Specifications. FORTE 1993: 19-34 - Katsuyuki Sarashina, Tsuyoshi Ando, Kaoru Takahashi, Masataka Ohta, Yoshiaki Tokita:
An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation. FORTE 1993: 205-218 - Younes Souissi:
Towards a Modular Specification and Verification of Protocols within a Layered Architecture. FORTE 1993: 35-50 - Kenneth J. Turner, Richard O. Sinnott:
DILL: Specifying Digital Logic in LOTOS. FORTE 1993: 71-86 - Hasan Ural, Alan W. Williams:
Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. FORTE 1993: 335-350 - Son T. Vuong, Sangho Lee:
TESTGEN+: An Integrated Environment for Protocol Test Suite Generation, Selection and Validation. FORTE 1993: 319-334 - Colin H. West:
The Challenges Facing Formal Description Techniques. FORTE 1993: 105-121
skipping 1 more match
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-07-04 05:20 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint