Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Yihong Gong, Chua Hock Chuan, Zhu Yongwei, Masao Sakauchi |
A Generic Video Parsing System With a Scene Description Language (SDL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Imaging ![In: Real Time Imaging 2(1), pp. 45-59, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | K. E. Cheng |
A Requirements Definition and Assessment Framework for SDL Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 28(12), pp. 1703-1715, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Amardeo Sarma |
Introduction to SDL-92. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 28(12), pp. 1603-1615, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Rolv Bræk |
SDL Basics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 28(12), pp. 1585-1602, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Dieter Hogrefe |
Validation of SDL Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 28(12), pp. 1659-1667, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Ana R. Cavalli, Byoung-Moon Chin, Kilnam Chon |
Testing Methods for SDL Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 28(12), pp. 1669-1683, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Olaf Henniger, Michel Barbeau, Behçet Sarikaya |
Specification and testing of the behavior of network management agents using SDL-92. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 4(6), pp. 951-962, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Internet |
17 | Markus Rinderspacher |
Mathematische Modellierung und Verifikation von SDL-Systemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1996 |
RDF |
|
17 | 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 |
|
17 | Jörg Hintelmann |
Integration of SDL Based QoS-Evaluation in Protocol Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESM ![In: Modelling and Simulation, ESM96, June 2-6, 1996, Budapest University of Economic Sciences., pp. 894-902, 1996, SCS, The Society for Computer Simulation International, 1-56555-097-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
17 | Antonio Mendes da Silva Filho |
On Deriving Statecharts Supervision Models from SDL Specifications Using SSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 10th Brazilian Symposium on Software Engineering, SBES 1996, São Carlos, SP, Brazil, October 14-18, 1996., pp. 73-83, 1996, SBC. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Hazem El-Gendy |
Towards SDL specification of a European OSI-application layer protocol interface for wired personalized communications and distributed multimedia applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: Proceedings of Third International Conference on Electronics, Circuits, and Systems, ICECS 1996, Rodos, Greece, October 13-16, 1996, pp. 1052-1055, 1996, IEEE, 0-7803-3650-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Mitschele-Thiel |
Methodology and tools for the development of high performance parallel systems with SDL/MSCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering for Parallel and Distributed Systems ![In: Software Engineering for Parallel and Distributed Systems, Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996, pp. 15-26, 1996, Chapman & Hall, 0-412-75740-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
17 | Marc Diefenbruch, Jörg Hintelmann, Bruno Müller-Clostermann |
The QUEST-Approach for the Performance Evaluation of SDL-Systems. ![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. 229-244, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
17 | M. Bütow, Mark Mestern, C. Schapiro, Pieter S. Kritzinger |
Performance Modelling with the Formal Specification Language SDL. ![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. 213-228, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
17 | Wolfgang Kellerer, Andreas Iselt, R. Riek |
Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller System. ![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. 419-434, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
17 | 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 |
|
17 | Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov |
Tool Support for Algebraic Specifications of Dat in SDL-92. ![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. 61-76, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
17 | Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp |
A Timed Semantics for SDL. ![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. 295-309, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
17 | Elke Heck |
Performance evaluation of formally specified systems: the integration of SDL with HIT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1996 |
RDF |
|
17 | Stefan Heinkel, Thomas Lindner |
SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Development of Reactive Systems ![In: Formal Development of Reactive Systems - Case Study Production Cell, pp. 171-183, 1995, Springer, 3-540-58867-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Behrouz H. Far, Hui Chen, Zenya Koono |
Software Creation: Using Specification and Description Language (SDL) for Capturing and Reusing Human Experts' Knowledge in Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'95, The 7th International Conference on Software Engineering and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland, USA, Proceedings, pp. 189-196, 1995, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Ivanil S. Bonatti, Renato J. O. Figueiredo |
Stoht: an SDL-to-hardware translator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 1995 Conference on Asia Pacific Design Automation, Makuhari, Massa, Chiba, Japan, August 29 - September 1, 1995, 1995, ACM, 0-89791-766-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Anders Olsen, Bo Bichel Norbæk |
Using SDL for Targeting Services to CORBA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS&N ![In: Bringing Telecommunication Services to the People - IS&N'95, Third International Conference on Intelligence in Broadband Services and Networks, Heraklion, Crete, Greece, October 16-20, 1995, Proceedings, pp. 334-346, 1995, Springer, 3-540-60479-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Conor Morris, John Nelson |
An SDL Based Realisation of an IN Service Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS&N ![In: Bringing Telecommunication Services to the People - IS&N'95, Third International Conference on Intelligence in Broadband Services and Networks, Heraklion, Crete, Greece, October 16-20, 1995, Proceedings, pp. 292-308, 1995, Springer, 3-540-60479-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed Romdhani, P. Chambert, Alain Jeffroy, Pierre de Chazelles, Ahmed Amine Jerraya |
Composing ActivityCharts/StateCharts, SDL and SAO specifications for codesign in avionics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: Proceedings EURO-DAC'95, European Design Automation Conference with EURO-VHDL, Brighton, England, UK, September 18-22, 1995, pp. 585-590, 1995, IEEE Computer Society, 0-8186-7156-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Leue |
Specifying real-time requirements for SDL specifications - a temporal logic-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995, pp. 19-34, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger |
SDL and Petri net performance analysis of communicating systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995, pp. 269-282, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Ulf Behnke, Michael Geipl, Gerd Kurzbach, Ralf Schröder, Nils Fischbeck, Renée Mundstock |
Development of Broadband ISDN Telecommunication Services Using SDL'92, ASN.1 and Automatic Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, pp. 237-252, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Bjørn Gulla, Joe Gorman |
Supporting Evolution of SDL-based Systems: Industrial Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, pp. 253-268, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Ove Færgemand, Anders Olsen |
Introduction to SDL-92. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 26(9), pp. 1143-1167, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Gusztáv Adamis |
Automatic Protocol implementation - generating C++ code from SDL/PR specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 40(10-12), pp. 719-722, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Maria Törö, Gábor Ziegler |
Validation of abstract test suites with use of SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 40(10-12), pp. 711-714, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Tsuyoshi Ando, Masataka Ohta, Kaoru Takahashi |
Interpretation of SDL specification in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 25(7), pp. 19-38, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Ermanno Berruto, Tomas Brännlund, Jan Gustafsson, Wolfgang Schott |
An SDL methodology used for specifying the radio protocols in a CDMA system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC ![In: Proceedings of 44th IEEE Vehicular Technology Conference: Creating Tomorrow's Mobile Systems, VTC 1994, 8-10 June 1994, Stockholm, Sweden, pp. 554-558, 1994, IEEE, 0-7803-1927-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Leue, Philippe Oechslin |
From SDL specifications to optimized parallel protocol implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocols for High-Speed Networks ![In: Protocols for High-Speed Networks IV, pp. 308-327, 1994, Chapman & Hall, 0-412-71180-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Anders Ek, Jan Ellsberger, Anthony Wiles |
Computer supported test generation from SDL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994, pp. 351-358, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | |
The SDL Design Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings, pp. 785, 1994, Springer, 3-540-58468-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Eckhardt Holz, Ketil Stølen |
An attempt to embed a restricted version of SDL as a target language in Focus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, pp. 324-339, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Marc Phalippou |
Test sequence generation using Estelle or SDL structure information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, pp. 415-430, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Fernando de Carvalho Gomes, Olivier Gascuel |
SDL, A Stochastic Algorithm for Learning Decision Lists with Limited Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 10(3), pp. 281-302, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Roland Rössler, Ulrich Schemmel |
Ein Betriebssystem für SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prax. Inf.verarb. Kommun. ![In: Prax. Inf.verarb. Kommun. 16(3), pp. 143-150, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Rolv Bræk, Øystein Haugen |
Engineering real time systems - an object-oriented methodology using SDL (2. pr.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
RDF |
|
17 | Gang Luo, Anindya Das, Gregor von Bochmann |
Generating Tests for Control Portion of SDL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993, pp. 51-66, 1993, North-Holland, 0-444-81697-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
17 | Wolfgang Glunz, Thomas Kruse, Torsten Rössel, Dieter Monjau |
Integrating SDL and VHDL for System-Level Hardware Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHDL ![In: Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993, pp. 187-204, 1993, North-Holland, 0-444-81641-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
17 | Falko Bause, Peter Buchholz 0001 |
Qualitative und Quantitative Analysis of Timed SDL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kommunikation in Verteilten Systemen ![In: Kommunikation in Verteilten Systemen, ITG/GI-Fachtagung, München, 3.-5. März 1993, pp. 486-500, 1993, Springer, 3-540-56482-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Gonzalo León, J. Carracedo, J. C. Moreno, Juan C. Yelmo, Juan J. Gil, Carlos Sánchez 0002, F. Javier Carrasco |
An Industrial Experience on Development with LOTOS and SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: 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, pp. 219-234, 1993, North-Holland, 0-444-81773-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
17 | Hasan Ural, Alan W. Williams |
Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: 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, pp. 335-350, 1993, North-Holland, 0-444-81773-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
17 | Gerard J. Holzmann |
Practical methods for the formal validation of SDL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 15(2), pp. 129-134, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Carl Binding, Wiet Bouma, Michel Dauphin, Günter Karjoth, Yan Yang |
A Common Compiler for LOTOS and SDL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM Syst. J. ![In: IBM Syst. J. 31(4), pp. 668-690, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Robert Nahm |
Semantics of simple SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992, pp. 35-48, 1992, K. G. Saur Verlag, 3-598-22409-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
17 | Klaus Ahrens, Joachim Fischer, Andreas Prinz 0001, Dorota Witaszek |
Eine Entwicklungsumgebung für SDL'92. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992, pp. 49-65, 1992, K. G. Saur Verlag, 3-598-22409-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
17 | O. Pulkkinen, Klaus Kronlöf |
Integration of SDL and VHDL for high-level digital design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: Proceedings of the conference on European design automation, EURO-DAC '92, Hamburg, Germany, September 7-10, 1992, pp. 624-629, 1992, IEEE Computer Society Press, 0-8186-2780-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | B. Lutter, Wolfgang Glunz, Franz-Josef Rammig |
Using VHDL for simulation of SDL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: Proceedings of the conference on European design automation, EURO-DAC '92, Hamburg, Germany, September 7-10, 1992, pp. 630-635, 1992, IEEE Computer Society Press, 0-8186-2780-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Jan Ellsberger, Finn Kristoffersen |
Testability in the Context of SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 319-333, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
17 | Thomas Walter 0001, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof |
A Common Semantics Representation for SDL and TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 335-346, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
17 | Finn Kristoffersen, Louis Verhaard, Michael Zeeberg |
Test derivation for SDL based on ACTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 381-396, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
17 | Susan C. Murphy, Per Gunningberg, John P. J. Kelly |
Experiences with Estelle, LOTOS and SDL: A Protocol Implementation Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 22(1), pp. 51-59, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Manfred Broy |
Towards a Formal Foundation of the Specification and Description Language SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 3(1), pp. 21-57, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Ferenc Belina, Dieter Hogrefe, Amardeo Sarma |
SDL - with applications from protocol specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1991 |
RDF |
|
17 | Vincent Encontre |
SDL: a standard language for Ada real-time applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the Conference on TRI-Ada 1991 - Today's Accomplishments; Tomorrow's Expectations, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991, pp. 45-53, 1991, ACM, 978-0-89791-445-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Hironori Saito, Toru Hasegawa, Yoshiaki Kakuda |
Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 511-526, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
17 | Heinz Saria, Heinrich Nirschl, Carl Binding |
Mixing LOTOS and SDL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 425-439, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
17 | Klaus Ahrens, Joachim Fischer, Eckhardt Holz, Ina Schieferdecker |
Eine SDL-Maschine für Entwurf und Analyse von Spezifikationen verteilter Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
it Inf. Technol. ![In: it Inf. Technol. 32(6), pp. 400-409, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Anders Olsen |
Extending SDL with a Procedural Data Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 353-360, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
17 | Kou Miyake, Y. Shigeta, W. Tanaka, H. Hasegawa |
Automatic Code Generation for SDL to C++ for an Integrated Software Development Support System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 555-558, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
17 | Falko Bause, Peter Buchholz 0001 |
Protocol Analysis Using a Timed Version of SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 239-254, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
17 | Anders Ek, Jan Ellsberger |
TA-2: A Prototype Analysing Dynamic SDL Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 519-522, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
17 | Ove Faergemand |
Stepwise Production of an SDL Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 395-410, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
17 | Ferenc Belina, Dieter Hogrefe |
The CCITT-Specification and Description Language SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 16, pp. 311-341, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Saracco, Jared Smith, Rick Reed |
Telecommunications systems engineering using SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
17 | Gerard J. Holzmann, Joanna Patti |
Validating SDL Specifications: an Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989, pp. 317-326, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
17 | S. Alfonzetti, Salvatore Casale, Alfio Lombardo, G. Bertocchi |
Designing a Gateway Between Teletex and OSI Networks by Means of SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM '89, The Conference on Computer Communications, Eigth Annual Joint Conference of the IEEE Computer and Communications Societies, Technology: Emerging or Converging? Ottawa, Ontario, Canada, April 23-27, 1989, pp. 484-493, 1989, IEEE Computer Society, 0-8186-1920-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | B. Ludwig, C. Krechel |
Kommunikationsmechanismen in einer multiprozessorfähigen SDL-Laufzeitumgebung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kommunikation in Verteilten Systemen ![In: Kommunikation in Verteilten Systemen, Grundlagen, Anwendungen, Betrieb, ITG/GI-Fachtagung, Stuttgart, 22.-24. Februar 1989, Proceedings, pp. 145-159, 1989, Springer, 3-540-50893-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Michael Atlevi |
SDT - a Real-Time CASE Tool for the CCITT Specification Language SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 37-41, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
17 | Kong E. Cheng, Lindsay N. Jackson |
Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 409-419, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
17 | L. A. Crutcher, M. H. Barton |
Implementing SDL in occam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Eng. J. ![In: Softw. Eng. J. 3(3), pp. 78-85, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Dieter Hogrefe |
OSI service specification with CCITT-SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 18(1-2), pp. 63-90, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Heinz Kossmann |
Ein Toolset für den graphischen Entwurf verteilter Systeme mit SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (2) ![In: GI - 18. Jahrestagung II, Vernetzte and komplexe Informatik-Systems, Hamburg, 17.-19. Oktober 1988, Proceedings, pp. 490-503, 1988, Springer, 3-540-50360-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Dieter Hogrefe, Amardeo Sarma |
Non-Determinism and SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 157-167, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
17 | Michael Atlevi |
SDT - The SDL Design Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 55-59, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
17 | Ferenc Belina, Dieter Hogrefe, Sebastiano Triglia |
Modelling OSI in SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 135-142, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
17 | Kenneth R. Parker, Rainer A. Berger, Kong E. Cheng |
Protocol Analysis and Implementation using NPNs and SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 100-120, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
17 | Birger Møller-Pedersen, Dag Belsnes, Hans Petter Dahle |
Rationale and Tutorial on OSDL: An Object-Oriented Extension of SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 13, pp. 97-117, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Heinz Kossmann |
A Graphic SDL Support Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 13, pp. 91-96, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Saracco, Paul A. J. Tilanus |
CCITT SDL: Overview of the Language and its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 13, pp. 65-74, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Hans Günter Tempel |
A Set of Tools supporting the Software Design Based on SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC ![In: ESEC '87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings, pp. 348-356, 1987, Springer, 3-540-18712-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Chakib Chraibi, Omar Rafiq, Richard Castanet |
SDL as a Testing Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCC ![In: New Communication Services: A Challenge to Computer Technology, Proceedings of the Eigth International Conference on Computer Communication, Munich, Germany, September 15-19, 1986, pp. 502-507, 1986, International Council for Computer Communication / Elsevier, 0-444-70060-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
17 | Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth |
Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCC ![In: New Communication Services: A Challenge to Computer Technology, Proceedings of the Eigth International Conference on Computer Communication, Munich, Germany, September 15-19, 1986, pp. 531-536, 1986, International Council for Computer Communication / Elsevier, 0-444-70060-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
17 | Wolfgang Fischer 0002, Klaus Sauer, W. Denzel |
A simulation technique for communications protocols based on a formal specification by SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985, pp. 333-347, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
17 | Giulio Brusasco |
Simulation and Testing Using SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC (3) ![In: IEEE International Conference on Communications: Links for the Future - Science, Systems & Services for Communications, ICC 1984, Amsterdam, The Netherlands, May 14-17, 1984, Proceedings, pp. 1028-1032, 1984, Elsevier. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
17 | Anders Rockström, Roberto Saracco |
SDL-CCITT Specification and Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 30(6), pp. 1310-1318, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Wendell E. Cory |
Symbolic simulation for functional verification with ADLIB and SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 18th Design Automation Conference, DAC '81, Nashville, Tennessee, USA, June 29 - July 1, 1981, pp. 82-89, 1981, ACM/IEEE. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP BibTeX RDF |
|
17 | N. S. M. Shehad |
SDL II A System Dynamics Language Portable Translator Development and Design of a CSSL-Dynamo-type Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1978 |
RDF |
|
16 | J. Jenny Li, Joseph Robert Horgan |
A Tool Suite for Diagnosis and Testing of Software Design Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 295-304, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Software design specification, xSuds and Specification and Description Language (SDL [2]), software engineering tool, coverage testing |
16 | J. Jenny Li, Joseph Robert Horgan |
Simulation-Trace-Based Component Performance Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 33th Annual Simulation Symposium (SS 2000), 16-22 April 2000, Washington, DC, USA, pp. 283-290, 2000, IEEE Computer Society, 0-7695-0598-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
software slicing, Communicating extended finite state machine (CEFSM), stochastic-EFSM and Specification and Description Language (SDL), Software architectural design |
10 | Gary Singh |
The Spiral Effect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 29(2), pp. 4-5, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura |
Formal Specification and Analysis of Timing Properties in Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 262-277, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Issam Jabri, Nicolas Krommenacker, Thierry Divoux, Adel Soudani |
IEEE 802.11 Load Balancing: An Approach for QoS Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Wirel. Inf. Networks ![In: Int. J. Wirel. Inf. Networks 15(1), pp. 16-30, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Quality of service, Load balancing, OPNET, Protocol specification, IEEE802.11 |
10 | Merete Skjelten Tveit |
Towards Diagrammatic Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings, pp. 427-429, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|