Validating discrete event simulations using event pattern mappings
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Comparative design validation based on event pattern mappings
DAC '93 Proceedings of the 30th international Design Automation Conference
A new approach to prototyping Ada-based hardware/software systems
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Enhanced reuse and teamwork capabilities for an object-oriented extension of VHDL
Proceedings of the conference on Design, automation and test in Europe
Automatic Parallelization of Compiled Event Driven VHDL Simulation
IEEE Transactions on Computers
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Run-time consistency checking in discrete simulation models
EDTC '95 Proceedings of the 1995 European conference on Design and Test
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Automatic generation of verified concurrent hardware
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Representing abstract architectures with axiomatic specifications and activation conditions
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
| Hi-index | 0.00 |