Search results for "M. P. J. Stevens"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Bart D. Theelen, A. C. Verschueren, V. V. Reyes Suárez, M. P. J. Stevens, A. Nuñez	A scalable single-chip multi-processor architecture with on-chip RTOS kernel.	Journal of Systems Architecture	2003	DBLP DOI BibTeX RDF
1	Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens	Object-oriented modelling and specification using SHE.	Comput. Lang.	2001	DBLP DOI BibTeX RDF
1	P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens	System Level Models for Real-Time Communication.	EUROMICRO	1999	DBLP DOI BibTeX RDF
1	Jeroen Voeten, P. H. A. van der Putten, Marc Geilen, M. P. J. Stevens	System Level Modelling for Hardware/Software Systems.	EUROMICRO	1998	DBLP DOI BibTeX RDF
1	Harald P. E. Vranken, M. P. J. Stevens, M. T. M. Segers	Design-For-Debug in Hardware/Software Co-Design.	CODES	1997	DBLP DOI BibTeX RDF	system integration and test, hardware/software co-design, design validation, design-for-debug
1	Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens	Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design.	EUROMICRO	1996	DBLP DOI BibTeX RDF	SHE, behaviour-preserving transformations, POOSL, formal specification, architecture design, design framework, formal specification language, formal approach
1	Harald P. E. Vranken, M. P. J. Stevens, M. T. M. Segers, J. H. M. M. van Rhee	System-Level Testability of Hardware/Software Systems.	ITC	1994	DBLP DOI BibTeX RDF
1	L. P. M. Benders, M. P. J. Stevens	Task level specification and communication.	Microprocessing and Microprogramming	1992	DBLP DOI BibTeX RDF

Displaying result #1 - #8 of 8 (100 per page; Change: )

Publications of "M. P. J. Stevens" ( http://dblp.L3S.de/Authors/M._P._J._Stevens )