Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Javier López 0001, Juan J. Ortega, José M. Troya |
Verification of Authentication Protocols using SDL-method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIS ![In: Security in Information Systems, Proceedings of the 1st International Workshop on Security in Information Systems, SIS 2002, In conjunction with ICEIS 2002, Ciudad Real, Spain, April 2002, pp. 61-71, 2002, ICEIS Press, 972-98050-9-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
17 | Thomas Kolloch |
Scheduling with message deadlines for hard real time SDL systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
17 | Ina Schieferdecker, Jens Grabowski |
The Graphical Format of TTCN-3 in the Context of MSC and UML. ![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. 233-252, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Peter Graubmann, Ekkart Rudolph |
MSC Connectors: The Philosopher's Stone. ![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. 199-220, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Message Sequence Charts (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering, Interface Protocol, Component, Interface, Compositionality |
17 | 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 |
|
17 | Tong Zheng 0002, Ferhat Khendek |
An Extension for MSC-2000 and Its Application. ![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. 221-232, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell |
Automatic Generation of Conformance Tests from Message Sequence Charts. ![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. 170-198, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | C. Bourhfir, El Mostapha Aboulhamid, Ferhat Khendek, Rachida Dssouli |
Test cases selection from SDL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 35(6), pp. 693-708, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | 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 |
|
17 | Jörg Hintelmann, Richard Hofmann, Frank Lemmen, Andreas Mitschele-Thiel, Bruno Müller-Clostermann |
Applying techniques and tools for the performance engineering of SDL systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 35(6), pp. 647-665, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Nikolai Mansurov, Robert L. Probert |
Improving time-to-market using SDL tools and techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 35(6), pp. 667-691, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Rick Reed |
Notes on SDL-2000 for the new millennium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 35(6), pp. 709-720, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Michael Andersson, Anders Ek, Niklas Landin |
Utilizing UML in SDL-based development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 35(6), pp. 613-625, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Robert L. Probert, Hasan Ural, Alan W. Williams |
Rapid generation of functional tests using MSCs, SDL and TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 24(3-4), pp. 374-393, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | C. Bourhfir, El Mostapha Aboulhamid, Rachida Dssouli, Nathalie Rico |
A test case generation approach for conformance testing of SDL systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 24(3-4), pp. 319-333, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | 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 |
|
17 | Jan A. Bergstra, Cornelis A. Middelburg, Yaroslav S. Usenko |
Discrete Time Process Algebra and the Semantics of SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Process Algebra ![In: Handbook of Process Algebra, pp. 1209-1268, 2001, North-Holland / Elsevier, 978-0-444-82830-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Kwang-Ryul Jung, Jihyuk Choi, Pyeongjung Song, Young-Ho Nam |
Design and implementation of a radio resource control protocol in WCDMA using SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall ![In: Proceedings of the 54th IEEE Vehicular Technology Conference, VTC Fall 2001, 7-11 October 2001, Atlantic City, New Jersey, USA, pp. 990-994, 2001, IEEE, 0-7803-7005-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Sven Twarok, Peter Langendörfer, Hartmut König |
Automated Derivation of ILP Implementations from SDL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea, pp. 3-18, 2001, Kluwer, 0-7923-7470-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
17 | Ralph Welge |
SDL.RT-basierter Entwurf und Implementierung eingebetteter zeit- und sicherheitskritischer Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
17 | Andreas Prinz 0001 |
Formal Semantics for SDL ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
17 | Edel Sherratt, Chris W. Loftus |
Designing distributed services with SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Concurr. ![In: IEEE Concurr. 8(1), pp. 59-66, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Hasan Ural, Kassem Saleh, Alan W. Williams |
Test generation based on control and data dependencies within system specifications in SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 23(7), pp. 609-627, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Maria Törö, Jinsong Zhu, Victor C. M. Leung |
Design of universal personal computing using SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 23(12), pp. 1124-1134, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | L. J. Steggles, Piotr Kosiuczenko |
A Formal Model for SDL Specifications Based on Timed Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 7(1), pp. 61-90, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Bharat T. Doshi, Subrahmanyam Dravida, Enrique J. Hernandez-Valencia, Wassim Matragi, M. Akber Qureshi, Paul Langner, Jon Anderson, James S. Manchester |
A simple data link (SDL) protocol for next generation packet network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 18(10), pp. 1825-1837, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Imrich Chlamtac, Andrea Fumagalli, Eric Wing Ming Wong |
Transmitter Vs. Receiver SDL Solutions for Contention Resolution in WDM Ring Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. Trans. Telecommun. ![In: Eur. Trans. Telecommun. 11(1), pp. 99-108, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | James Carlson, Paul Langner, Enrique J. Hernandez-Valencia, James S. Manchester |
PPP over Simple Data Link (SDL) using SONET/SDH with ATM-like framing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 2823, pp. 1-28, May 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Matthias Dörfel, Andreas Mitschele-Thiel, Frank Slomka |
CORSAIR: HW/SW-Codesign von Kommunikationssystemen mit SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prax. Inf.verarb. Kommun. ![In: Prax. Inf.verarb. Kommun. 23(1), pp. 3-13, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Wolfgang Kellerer, Achim Autenrieth, Andreas Iselt |
Experiences with Evaluation of SDL-Based Protocol Engineering in Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Educ. ![In: Comput. Sci. Educ. 10(3), pp. 225-241, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Markos Koltsidas, Ognjen Prnjat, Lionel Sacks |
Development of Parlay-based Services Using UML and SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMNS ![In: Managing QoS in Multimedia Networks and Services, IEEE/IFIP TC6 - WG6.4 & WG6.6 Third International Conference on Management of Multimedia Networks and Services (MMNS'2000), September 25-28, 2000, Fortaleza, Ceará, Brazil, pp. 177-190, 2000, Kluwer, 0-7923-7962-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | Joachim Fischer, Eckhardt Holz, Martin von Löwis, Andreas Prinz 0001 |
SDL-2000: A Language with a Formal Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Object-Oriented Methods ![In: Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000, 2000, BCS. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | Ivana Podnar, Branko Mikac, Antun Caric |
SDL Based Approach to Software Process Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSPT ![In: Software Process Technology, 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000, Proceedings, pp. 190-202, 2000, Springer, 3-540-67140-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Rodríguez, Eusebio Fernández |
Modeling object relationships in TMN/OSI management systems with SDL-92. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: The Networked Planet: Management Beyond 2000, 7th IEEE/IFIP Network Operations and Management Symposium, NOMS 2000, Honolulu, HI, USA, April 10-14, 2000. Proceedings, pp. 931-932, 2000, IEEE, 0-7803-5928-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | 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 |
|
17 | Michael Schmitt 0002 |
The Development of a Parser for SDL - 2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000, pp. 131-142, 2000, Verlag Shaker, 3-8265-7491-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | Peter Langendörfer, Thomas Krüger, Hartmut König |
Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000, pp. 143-152, 2000, Verlag Shaker, 3-8265-7491-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | Martin von Löwis |
Datentypsematik für SDL - 2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000, pp. 121-130, 2000, Verlag Shaker, 3-8265-7491-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | Thomas Steinert, Georg Rößler |
Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy, pp. 219-234, 2000, Kluwer, 0-7923-7968-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | Jörg Hintelmann |
Entwurfsbegleitende Leistungsanalyse für SDL-basiertes Design multimedialer Internet-Transportsysteme. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
17 | 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 |
|
17 | 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 |
|
17 | 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 |
|
17 | 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 |
|
17 | 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 |
|
17 | Nikolai Mansurov, Dmitri Vasura |
Approximation of (H)MSC Semantics By Automata. ![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. 154-, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | 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 |
|
17 | 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 |
|
17 | Stefan Heymer |
A Semantics for MSC Based on Petri Net Components. ![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. 262-, 2000, VERIMAG, IRISA, SDL Forum. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | 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 |
|
17 | 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 |
|
17 | 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 |
|
17 | 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 |
|
17 | 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 |
|
17 | Peter Langendörfer, Hartmut König |
Effiziente Abbildung von SDL-Spezifikationen auf Activity-Threads mittels Transition Reordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prax. Inf.verarb. Kommun. ![In: Prax. Inf.verarb. Kommun. 22(4), pp. 197-203, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | J. Jenny Li, Joseph Robert Horgan |
cSuds-SDL: A Tool for Testing Software Architecture Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 8(4), pp. 241-253, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Wolfgang Kellerer |
Prototyping von Telekommunikationssystemen mit SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informationstechnik Tech. Inform. ![In: Informationstechnik Tech. Inform. 41(3), pp. 21-28, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Rodríguez, Ramón Calmeau, Eusebio Fernández |
Application of SDL-92 for the specification of OSI Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integrated Network Management ![In: 1999 IEEE/IFIP International Symposium on Integrated Network Management, IM 1999, Boston, USA, May 24-28, 1999. Proceedings, pp. 447-460, 1999, IEEE, 0-7803-5748-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Robert L. Probert, Alan W. Williams |
Fast Functional Test Generation Using an SDL Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWTCS ![In: Testing of Communicating Systems: Method and Applications, IFIP TC6 12th International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary, pp. 299-316, 1999, Kluwer, 0-7923-8581-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Jie Lian, Vilas Wuwongse |
Relationship Between SDL Processes and Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMARTNET ![In: Intelligence in Networks, IFIP TC6 WG6.7 Fifth International Conference on Intelligence in Networks (SMARTNET '99), November 22-26, 1999, Pathumthani, Thailand, pp. 237-250, 1999, Kluwer, 0-7923-8691-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Maha Boughdadi, Robert Busser |
An Industrial Application of an Integrated UML and SDL Modeling Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA, pp. 54-60, 1999, IEEE Computer Society, 0-7695-0368-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Rui Manuel Sousa, Goran D. Putnik |
Formal description technique SDL for manufacturing systems specification and description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APMS ![In: Global Production Management, IFIP TC5/WG5.7 International Conference on Advances in Production Management Systems, September 6-10, 1999, Berlin, Germany, pp. 449-456, 1999, Kluwer, 0-7923-8605-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Robert G. Clark, Ana M. D. Moreira |
SDL in Rigorus Object-Oriented Analysis (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy, 1999, Kluwer, 0-7923-8429-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Richard O. Sinnott, Mario Kolberg |
Engineering Telecommunication Services With SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy, 1999, Kluwer, 0-7923-8429-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Birgit Geppert, Frank Rößler, Reinhard Gotzhein |
Pattern Application vs. Inheritance in SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy, 1999, Kluwer, 0-7923-8429-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Dirk Trossen, Christian Cseh, Roman Kogan |
Framework for Automatic SDL to C++ Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China, pp. 95-115, 1999, Kluwer, 0-7923-8646-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Peter Csurgay |
Prototyping Framework for SDL with Evolving Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China, pp. 75-94, 1999, Kluwer, 0-7923-8646-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Birger Møller-Pedersen, Dagbjørn Nogva |
Scalable and Object Oriented SDL State(chart)s. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China, pp. 59-73, 1999, Kluwer, 0-7923-8646-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | L. J. Steggles, Piotr Kosiuczenko |
A timed rewriting logic semantics for SDL: A case study of alternating bit protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: 1998 International Workshop on Rewriting Logic and its Applications, WRLA 1998, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998, pp. 83-104, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Farid Ammar-Boudjelal, Jean-Yves Lafaye, Georges Louis |
Evaluating, comparing and improving the quality of system structure during the specification process. Application example with SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 7(3/4), pp. 195-222, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Michael Schmitt 0002, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe |
Autolink - Putting SDL-Based Test Generation Into Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWTCS ![In: Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia, pp. 227-244, 1998, Kluwer, 0-412-84430-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Eckhardt Holz, Joachim Fischer |
Introduction of Gate Types into SDL. ![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. 233-244, 1998, Verlag Shaker, 3-8265-3807-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Peter Langendörfer, Thomas Krüger, Sven Twarok |
Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien. ![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. 245-254, 1998, Verlag Shaker, 3-8265-3807-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Joachim Fischer, Nils Fischbeck, Marc Born |
SDL und ODL im Entwicklungsprozess von Telekommunikationssystemen. ![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. x-xxv, 1998, Verlag Shaker, 3-8265-3807-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Birgit Geppert, Frank Rößler, Michael Schneider 0009 |
Using SDL Patterns for the Design of a CAN-based Communication Subsystem. ![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. 211-221, 1998, Verlag Shaker, 3-8265-3807-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Martin von Löwis, Ralf Schröder |
Objekt-orientierte Datenkonzepte für SDL. ![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. 222-232, 1998, Verlag Shaker, 3-8265-3807-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Nisse Husberg |
Verifying SDL programs using Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC 1998, Hyatt Regency La Jolla, San Diego, California, USA, October 11-14,1998, pp. 208-213, 1998, IEEE, 0-7803-4778-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Leblanc, Jean-Luc Roux |
Extended SDL-based Tools for Rapid Prototyping of Application Specific Signal Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: Distributed and Parallel Embedded Systems, IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES '98), October 5-6. 1998, Schloß Eringerfeld, Germany, pp. 149-156, 1998, Kluwer, 0-7923-8614-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Bernd Grahlmann, Hans Fleischhack |
Towards Compositional Verification of SDL Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (7) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 404-414, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Hesham El-Sayed, Donald Cameron, C. Murray Woodside |
Automated Performance Modeling from Scenarios and SDL Designs of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1998, Kyoto, Japan, April 20-21, 1998, pp. 127-135, 1998, IEEE Computer Society, 0-8186-8467-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Ralf Henke, Andreas Mitschele-Thiel, Hartmut König |
Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1998, Kyoto, Japan, April 20-21, 1998, pp. 230-237, 1998, IEEE Computer Society, 0-8186-8467-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Rolv Broek, Birger Møller-Pedersen |
Frameworks by means of virtual types - exemplified by SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France, pp. 181-196, 1998, Kluwer, 0-412-84760-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Maria Törö, Jinsong Zhu, Victor C. M. Leung |
SDL specification and verification of universal personal computing: with Object GEODE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France, pp. 267-282, 1998, Kluwer, 0-412-84760-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Birgit Geppert, A. Kuehlmeyer, Frank Rößler, Michael Schneider 0009 |
SDL-Pattern based Development of a Communication Subsystem for CAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France, pp. 197-212, 1998, Kluwer, 0-412-84760-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Bengt Svantesson, Shashi Kumar, Ahmed Hemani |
A Methodology and Algorithms for Efficient Interprocess Communication Synthesis from System Description in SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 11th International Conference on VLSI Design (VLSI Design 1991), 4-7 January 1998, Chennai, India, pp. 78-84, 1998, IEEE Computer Society, 0-8186-8224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Ursula Hinkel |
Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
RDF |
|
17 | Nancy Alonistioti |
Ανοικτές, αντικειμενοστραφείς, SDL πλατφόρμες ορισμού υπηρεσιών, πρωτοκόλλων και προτύπων για συστήματα επικοινωνιών 3ης γενιάς και έξυπνων δικτύων ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
RDF |
|
17 | A. Alonistioti, Panos Kostarakis |
Integration and SDL-based modelling of generic UMTS handover service architecture and IN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Commun. Syst. ![In: Int. J. Commun. Syst. 10(3), pp. 139-146, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Uwe Glässer, Rene Karges |
Abstract State Machine Semantics of SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 3(12), pp. 1382-1414, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Marc Diefenbruch |
Funktionale und quantitative Verifikation von zeit- und ressourcenerweiterten SDL-Systemen mittels Model-Checking. ![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. 231-248, 1997, VDE Verlag, 3-8007-2298-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Marc Diefenbruch, Jörg Hintelmann, Bruno Müller-Clostermann |
QUEST Performance Evalution of SDL System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMB (Kurzbeiträge) ![In: MMB '97, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, 9. ITG/GI-Fachtagung, 17.-19. September 1997, Freiberg, Germany, Kurzbeiträge und Toolbeschreibungen, pp. 126-132, 1997, TU Bergakademie Freiberg, 3-86012-045-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Guochun Lin |
Integrated modelling and simulation of signalling protocols at B-ISDN UNI on an SDL'92-based platform for performance evaluation. ![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. 86-90, 1997, IEEE Computer Society, 0-8186-7852-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Robert Schmit, Michael Kunes, Walter Sedlbauer |
Prototyping mit SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 293-301, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Ralf Henke, Andreas Mitschele-Thiel |
Efficient Implementation Strategies for SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 283-292, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Birgit Geppert, Frank Rößler |
Combining SDL and Pattern-based Design for the Customization of Communication Subsystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 201-210, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Bruno Müller-Clostermann |
SDL-Based Performance Evaluation - A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 7-22, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Martin von Löwis |
SITE - Eine SDL Entwicklungsumgebung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 353-356, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Peter Langendörfer |
iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben in SDL'92. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 303-311, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Gyula Csopaki, Kenneth J. Turner |
Modelling Digital Logic in SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan, pp. 367-382, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Marc Diefenbruch |
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|