|
|
Conferences in DBLP
- Ichiroh Sakakibara
Network and Application for New Generation. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:1- [Conf]
- Andreas Ulrich, Hartmut König
Specification-based Testing of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:7-22 [Conf]
- Lex Heerink, Jan Tretmans
Refusal Testing for Classes of Transition Systems with Inputs and Outputs. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:23-38 [Conf]
- Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheung, Holger Fuchs
A Framework for Distributed Object-Oriented Testing. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:39-56 [Conf]
- Sungwon Kang, Myungchul Kim
Interoperability Test Suite Derivation for Symmetric Communication Protocols. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:57-72 [Conf]
- André Engels, Sjouke Mauw, Michel A. Reniers
A Hierarchy of Communication Models for Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:75-90 [Conf]
- Hanêne Ben-Abdallah, Stefan Leue
Timing Constraints in Message Sequence Chart Specifications. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:91-106 [Conf]
- Joubine Dustzadeh, Elie Najm
Consistent Semantics for ODP Information and Computational Models. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:107-126 [Conf]
- Giovanny F. Lucero, Juan Quemada
Specifying the ODP Trader: An Introduction to E-LOTOS. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:127-142 [Conf]
- François Germeau, Guy Leduc
A Computer Aided Design of a Secure Registration Protocol. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:145-160 [Conf]
- Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:161-176 [Conf]
- Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten
Disjunction of LOTOS Specifications. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:177-192 [Conf]
- Christian Hernalsteen
A Timed Automaton Model for ET-LOTOS Verification. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:193-204 [Conf]
- Seungjoon Park, Satyaki Das, David L. Dill
Automatic Checking of Aggregation Abstractions Through State Enumeration. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:207-222 [Conf]
- Guy Juanole, Laurent Gallon
Concept of Quantified Abstract Quotient Automaton and its Advantage. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:223-238 [Conf]
- Gurdip Singh, Hong Liu
Validating Protocol Composition for Progress by Parallel Step Reachability Analysis. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:239-250 [Conf]
- Parosh Aziz Abdulla, Mats Kindahl, Doron Peled
An Improved Search Strategy for Lossy Channel Systems. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:251-264 [Conf]
- Deukyoon Kang, Sungwon Kang, Myungchul Kim, Sangjo Yoo
A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:267-282 [Conf]
- David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez
Friendly Testing as a Conformance Relation. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:283-298 [Conf]
- Jinsong Zhu, Son T. Vuong
Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:299-314 [Conf]
- Shoichi Noguchi
The Future Information Technology and its Impact to the Society. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:317- [Conf]
- Girish Bhat, Rance Cleaveland, Gerald Lüttgen
Dynamic Priorities for Modeling Real-Time. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:321-336 [Conf]
- Marek Musial
On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:337-352 [Conf]
- Manuel J. Fernández Iglesias, Martín Llamas Nistal
Algebraic Specification through Expression Transformation. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:355-366 [Conf]
- Gyula Csopaki, Kenneth J. Turner
Modelling Digital Logic in SDL. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:367-382 [Conf]
- Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu
A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:383-398 [Conf]
- Ralf Henke, Andreas Mitschele-Thiel, Hartmut König
On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:399-414 [Conf]
- J. H. Andrews, Nancy A. Day, Jeffrey J. Joyce
Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:417-432 [Conf]
- L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci
An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:433-448 [Conf]
- Toshihiko Kato, Tomohiko Ogishi, Akira Idoue, Kenji Suzuki
Intelligent Protocol Analyzer with TCP Behavior Emulation for Interoperability Testing of TCP/IP Protocols. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:449-464 [Conf]
- Roland Groz, Nathalie Risser
Eight Years of Experience in Test Generation from FDTs using TVEDA. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:465-480 [Conf]
- Henry Chang
Distributed Object Consistency in Mobile Environments. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:483- [Conf]
- Yong Sun, Shaoying Liu, Mitsuru Ohba
Self-independent Petri Nets for Distributed Systems. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:487-502 [Conf]
- Clemens Fischer, Graeme Smith
Combining CSP and Object-Z: Finite or Infinite Trace Semantics? [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:503-518 [Conf]
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:519-534 [Conf]
- Toshihiko Ando, Kaoru Takahashi, Yasushi Kato
On a Concurrency Calculus for Design of Mobile Telecommunication Systems. [Citation Graph (0, 0)][DBLP]
FORTE, 1997, pp:535-546 [Conf]
|
