Performance analysis of communication systems formally specified in SDL
Proceedings of the 1st international workshop on Software and performance
Application of high level interface-based design to telecommunications system hardware
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
MASCOT: a specification and cosimulation method integrating data and control flow
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Embedding SDL implemented protocols into DSP
CASES '00 Proceedings of the 2000 international conference on Compilers, architecture, and synthesis for embedded systems
Superlog, a unified design language for system-on-chip
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Finite state machine based: SDL
Formal methods for distributed processing
A Transformation of SDL Specifications - A Step towards the Verification
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Performance of Client/Server Systems
Performance Evaluation: Origins and Directions
Software Performance Evaluation by Models
Performance Evaluation: Origins and Directions
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Formal modeling in a commercial setting: a case study
Journal of Systems and Software
ISCC '97 Proceedings of the 2nd IEEE Symposium on Computers and Communications (ISCC '97)
Specifying telecommunications systems with UML
UML for real
Evaluating distributed functional languages for telecommunications software
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang
Feature interactions in embedded control systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
The when, why and why not of the BETA programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Evaluating high-level distributed language constructs
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Modeling and simulation of individual user behavior for building performance predictions
Proceedings of the 2007 Summer Computer Simulation Conference
Modelling and evaluation of a network on chip architecture using SDL
SDL'03 Proceedings of the 11th international conference on System design
Object-oriented specification of protocols for reusability
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Design and implementation of W-CDMA radio interface protocols using SDL development environments
CIC'02 Proceedings of the 7th CDMA international conference on Mobile communications
Checking consistency of SDL+MSC specifications
SPIN'03 Proceedings of the 10th international conference on Model checking software
Interface design and refinement using state-based techniques
SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
SDL versus c equivalence checking
SDL'05 Proceedings of the 12th international conference on Model Driven
SDL-2000: a language with a formal semantics
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Hi-index | 0.00 |