Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Margarita de Cabo, Manuel Rodríguez |
Applying eODL and SDL-Patterns for Developing TMN Managed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 33-49, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jameleddine Hassine, Rachida Dssouli, Juergen Rilling |
Applying Reduction Techniques to Software Functional Requirement Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 138-153, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Functional requirement specification, maintenance, program slicing, comprehension, Use Case Maps |
20 | Harald Böhme, Joachim Fischer |
eODL and SDL in Combination for Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 17-32, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Frank Weil, Thomas Weigert |
Guidelines for Using SDL in Product Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 271-289, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jörg Dorsch, Anders Ek, Reinhard Gotzhein |
SPT - The SDL Pattern Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 50-64, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Tong Zheng 0002, Ferhat Khendek |
Time consistency of MSC-2000 specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 42(3), pp. 303-322, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Edel Sherratt (eds.) |
Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![Springer, 3-540-00877-2 The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 597-601, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Tong Zheng 0002, Ferhat Khendek, Loïc Hélouët |
A Semantics for Timed MSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISS@ETAPS ![In: Validation and Implementation of Scenario-based Specifications, VISS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-14, 2002, pp. 85-99, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Xuandong Li, Wenkai Tan, Guoliang Zheng |
Checking MSC Specifications for Timing Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 17(1), pp. 47-55, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Jens Grabowski, Dieter Hogrefe |
SDL- and MSC-Based Specification and Automated Test Case Generation for INAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 20(3-4), pp. 265-290, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Dietrich Kuske |
A Further Step towards a Theory of Regular MSC Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings, pp. 489-500, 2002, Springer, 3-540-43283-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Swapan K. Parui, Amitava Datta |
On Convergence of a Neural Network Model Computing MSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFSS ![In: Advances in Soft Computing - AFSS 2002, 2002 AFSS International Conference on Fuzzy Systems. Calcutta, India, February 3-6, 2002, Proceedings, pp. 221-227, 2002, Springer, 3-540-43150-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Hong-Sul Jang, Young-Soo Kim |
MTF analysis on the MSC design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2002, Toronto, Ontario, Canada, 24-28 June 2002, pp. 3167-3169, 2002, IEEE, 0-7803-7536-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams |
Rapid Development of Network Software via SDL/Socket Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 103-123, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Socket Interface, SDL, Code Integration |
20 | Andreas Metzger, Stefan Queins |
Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 158-169, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Prinz 0001, Mario Schwarz |
Object-Oriented Specification of Protocols for Reusability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 90-102, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Prinz 0001 |
SDL Time Extensions from a Semantic Point of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 53-60, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Amyot, Nikolai Mansurov, Gunter Mussbacher |
Understanding Existing Software with Use Case Map Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 124-140, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible |
Micro Protocol Design: The SNMP Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 61-73, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Javier Colás, Jesús M. Pérez, Javier Poncela-González, José T. Entrambasaguas |
Implementation of UMTS Protocol Layers for the Radio Access Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 74-89, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Susanne Graf |
Expression of Time and Duration Constraints in SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 38-52, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener |
Techniques for Abstracting SDL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 141-157, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Øystein Haugen |
MSC-2000 interaction diagrams for the new millennium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 35(6), pp. 721-732, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Rachida Dssouli, Yair Lahav |
MSC and SDL in project life cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 35(6), pp. 611-612, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Shih-Liang (Sid) Wang |
Motion Simulation With Working Model 2D and MSC.visualNastran 4D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Sci. Eng. ![In: J. Comput. Inf. Sci. Eng. 1(2), pp. 193-196, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Nikolai Mansurov |
Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 27(1/3), pp. 115-136, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Terry Williams, K. Dickson |
Teaching real-life OR to MSc students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 51(12), pp. 1440-1448, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Edel Sherratt (eds.) |
SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![VERIMAG, IRISA, SDL Forum The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski |
Development of a MSC/UML Test Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000, pp. 153-164, 2000, Verlag Shaker, 3-8265-7491-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Eui Hyun Paik, DongGill Lee, Byung-Sun Lee |
A Testing Mechanism for Concurrent Programs Based on MSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000, June 24-29, 2000, Las Vegas, Nevada, USA, 2000, CSREA Press. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | F. A. Meijs |
Connecting Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 61-75, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Francis Bordeleau, Donald Cameron |
On the Relationship between use-case maps and Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 123-138, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Stefan Bläsius, Stefan Karg, Josef Maier, Günther Kohler |
Development of SDL Based Software for an Embedded System - Practical Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 292-304, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | François Terrier, Sébastien Gérard |
Real Time System Modeling with UML: current status and some prospects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 18-32, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Anca Muscholl, Doron A. Peled |
Analyzing Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 3-17, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent |
SDL for Real-Time: What is Missing? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 108-, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | André Engels |
Design Decisions on Data and Guards in MSC2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 33-46, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Karl Meinke |
Validation and Test Case Generations for MSCs Using A Propositional SAT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 203-, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Loïc Hélouët, Pierre Le Maigat |
Decomposition of Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 47-60, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Ferhat Khendek, Daniel Vincent |
Enriching SDL Specifications with MSCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 305-319, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | F. Boutet, E. Choveau, G. Rieux, Y. Lejeune |
Scheduling in SDL Simulation. Application to Future Air Navigation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 320-332, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | B. Rao |
SDL Based Auto Code Generation: A Multi Beneficial Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 333-340, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | J. P. Albaladejo, Javier Poncela-González, José T. Entrambasaguas |
Adaptation Of SOMT To The Development Of Systems Based Upon a Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 139-153, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Olaf Henniger, Hasan Ural |
Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 189-202, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | José María Álvarez 0002, Manuel Díaz, Luis Llopis, Ernesto Pimentel 0001, José M. Troya |
SDL and hard real time systems: new design and analyze techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 92-107, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw |
Probabilities In The Torx Test Derivation Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 173-188, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski |
HyperMSC - a Graphical Representation of TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 76-, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Andreas Prinz 0001, Robert Eschbach, Reinhard Gotzhein |
A Executable Formal Semantics for SDL-2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000, pp. 249-261, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Sjouke Mauw, Michel A. Reniers |
Operational Semantics for MSC'96. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 31(17), pp. 1785-1799, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Mitschele-Thiel, Bruno Müller-Clostermann |
Performance engineering of SDL/MSC systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 31(17), pp. 1801-1815, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Ana R. Cavalli |
Advanced Topics on SDL and MSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 31(17), pp. 1783-1784, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Katharine L. Quarmby, Peter Willett 0002, Frances E. Wood |
Follow-up study of graduates from the MSc Information Management programme at the University of Sheffield. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Sci. ![In: J. Inf. Sci. 25(2), pp. 147-155, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Peter Dickman |
The ALBA Experience: A Multi-University MSc in System Level Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSE ![In: IEEE International Conference on Microelectronic Systems Education, MSE 1999, Arlington, Virginia, USA, July 19-21, 1999, pp. 49-50, 1999, IEEE Computer Society, 0-7695-0312-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Ekkart Rudolph, Jens Grabowski, Peter Graubmann |
Towards a harmonization of UML-sequence diagrams and MSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings, pp. 193-208, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
20 | André Engels, Loe M. G. Feijs, Sjouke Mauw |
MSC and data: dynamic variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings, pp. 105-, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
20 | Winfried Dulz, S. Gruhl, Lennard Kerber, Michael Söllner |
Early performance prediction of SDL/MSC specified systems by automated synthetic code generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings, pp. 457-472, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
20 | Jens Grabowski, Beat Koch, Michael Schmitt 0002, Dieter Hogrefe |
SDL and MSC based test generation for distributed test architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings, pp. 389-404, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
20 | Joost-Pieter Katoen, Lennard Lambert |
Pomsets for MSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998, pp. 197-207, 1998, Verlag Shaker, 3-8265-3807-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
20 | Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim |
A Process Algebra Semantics for MSC Including Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998, pp. 185-196, 1998, Verlag Shaker, 3-8265-3807-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
20 | Frank Lemmen |
Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMB ![In: MMB '97, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, 9. ITG/GI-Fachtagung, 17.-19. September 1997, Freiberg, Germany, pp. 217-229, 1997, VDE Verlag, 3-8007-2298-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Khaled M. F. Elsayed |
Dimensioning of communication links for base-station and MSC interconnection in CDMA mobile communication systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Second IEEE Symposium on Computers and Communications (ISCC 1997), July 1-3, 1997, Alexandria, Egypt, pp. 631-635, 1997, IEEE Computer Society, 0-8186-7852-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Ina Schieferdecker, Axel Rennoch, Olaf Mertens |
Timed MSCx - an Extension to MSC'96. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 165-174, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Frank Lemmen |
Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 191-200, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Lennard Lambert |
Bewertung von MSC-Spezifikationen mit Task-Graphen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 155-164, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Ana R. Cavalli, Amardeo Sarma (eds.) |
SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![Elsevier The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga |
Automating the process of test derivation from SDL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 261-276, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | J. Carracedo, Carlos Ramos, Rubén de Diego, Carlos González, Juan José Gil, Emilo Rodríguez, Morgan Björkander |
Introducing SDL in the development of CORBA-compliant applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 351-366, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Ralf Henke, Hartmut König, Andreas Mitschele-Thiel |
Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 397-414, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Alain Kerbrat, Carlos Rodriguez-Salazar, Yves Lejeune |
Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 475-490, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Rainer Gerlich |
Tuning development of distributed real-time systems with SDL: Current experience and future issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 85-, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Carla Geovana N. Macário, Moacir Pedroso Jr., Walter C. Borelli |
Designing a multi-user software environment for development and analysis using a combination of OMT and SDL92. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 3-18, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Jörg Hintelmann, Reinhard Westerfeld |
Performance analysis of TCP's flow control mechanisms using queueing SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 69-84, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Dominique Méry, J. Paul Gibson |
Telephone feature verification: Translating SDL to TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 103-118, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Ana R. Cavalli, Boo-Ho Lee, Toma Macavei |
Test generation for the SSCOP-ATM networks protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 277-, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Christian Facchi, Markus Haubner, Ursula Hinkel |
The SDL specification of the sliding window protocol revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 507-, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Martin Steppler, Matthias Lott |
SPEET SDL performance evaluation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 53-68, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Farid Ammar-Boudjelal, Jean-Yves Lafaye, Georges Louis |
Specifying the steam-boiler case study with SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 491-506, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Ranjit Singh, Jerry Serviss |
Code generation using GEODE: A case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 539-550, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Paer-Olof Haokansson, Jan Karlsson, Louis Verhaard |
Combining SDL and C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 383-396, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt 0002 |
Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 245-260, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Kamel Karoui, Rachida Dssouli, Nina Yevtushenko 0001 |
Design for testability of communication protocols based on SDL language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 151-, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Andreas Iselt, Achim Autenrieth |
An SDL-based platform for the simulation of communication networks using dynamic block instantiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 35-, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Maria Törö |
Simulation of IP mobility support: An experiment in mobile protocol specification with SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 119-134, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Sjouke Mauw, Michel A. Reniers |
High-level message sequence charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 291-306, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | A. Alonistioti, G. Nikolaidis, I. Modeas |
SDL-based modelling and design of IN/UMTS handover functionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 19-34, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Vincent Perrier, Nicolas Dervaux |
Combining object-oriented and real-time programming from an OMT and SDL design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 459-, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Nikolai Mansurov, Andrew V. Chernov, Alexei S. Ragozin |
Industrial strength code generation from SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 415-, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Birgit Geppert, Reinhard Gotzhein, Frank Rößler |
Configuring communication protocols using SDL patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 523-538, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Nils Fischbeck |
Experiences with ISDN validation models in SDL and proposal for new SDL features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 135-150, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Samir Tata, Laurent Andrey, Olivier Festor |
A practical experience on validating GDMO-based information models with SDL'88 and SDL'92. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 367-, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Euricio Inocêncio, Chris W. Loftus, Edel Sherratt, Paula Viana |
The unification of OMT, SDL and IDL for service creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 443-458, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Nils Faltin, Lennard Lambert, Andreas Mitschele-Thiel, Frank Slomka |
An annotational extension of message sequence charts to support performance engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 307-322, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Odile Troulet-Lambert |
Is open-EDI a potential area for use of SDL? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 433-442, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Kurt Verschaeve |
Automated iteration between OMT and SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 335-350, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Gabriel Robert, Ferhat Khendek, Peter Grogono |
Deriving an SDL specification with a given architecture from a set of MSCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings, pp. 197-212, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Anthony Noerpel, Pertti Lukander, Li-Fung Chang, Vijay Varma, Edward H. Lipper |
Supporting PACS on a GSM MSC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Mag. ![In: IEEE Commun. Mag. 34(9), pp. 114-123, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Winfried Dulz |
A Framework for the Performance Evaluation of SDL/MSC-Specified Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESM ![In: Modelling and Simulation, ESM96, June 2-6, 1996, Budapest University of Economic Sciences., pp. 889-893, 1996, SCS, The Society for Computer Simulation International, 1-56555-097-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
20 | Stefan Leue, Peter B. Ladkin |
Implementing and verifying MSC specifications using Promela/XSpin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. 65-89, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Eurico Inocêncio, Manuel Ricardo 0001, Hitoshi Sato, Toshimitsu Kashima |
Combined Application of SDL-92, OMT, MSC and TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996, pp. 451-466, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|