Search results for "MetaH"

Found 15 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
156	Bruce A. Lewis, Edward Colbert, Steve Vestal	Developing Evolvable, Embedded, Time-Critical Systems with MetaH.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
84	Steve Vestal	Formal Verification of the MetaH Executive Using Linear Hybrid Automata.	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF	real-time CASE, verification, software architecture, formal methods, schedulability analysis, hybrid automata
51	Chawin Metah, Amal Khalifa, Rebecca Palu	A Parallel Computing Approach to Gene Expression and Phenotype Correlation for Identifying Retinitis Pigmentosa Modifiers in Drosophila.	Comput.	2023	DBLP DOI BibTeX RDF
48	Bruce Lewis	Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems.	RISSEF	2002	DBLP DOI BibTeX RDF
48	Bruce A. Lewis, Steve Vestal, David J. McConnell	Modern Avionics Requirements for the Distributed Systems Annex.	Ada-Europe	1998	DBLP DOI BibTeX RDF
36	Hassan Reza, Emanuel S. Grant	Toward Extending AADL-OSATE Toolset with Color Petri Nets (CPNs).	ITNG	2009	DBLP DOI BibTeX RDF	MetaH, OSATE, Eclipse, ADL, Color Petri nets, AADL, Model-Based Engineering
36	Bruce Lewis	Software portability gains realized with METAH and Ada95.	IRTAW	2002	DBLP DOI BibTeX RDF
36	Steve Vestal	MetaH.	ACM SIGSOFT Softw. Eng. Notes	2000	DBLP DOI BibTeX RDF
36	Edward Colbert, Bruce A. Lewis	Building Real-Time Embedded Systems with MetaH and UML [Abstract].	TOOLS (34)	2000	DBLP DOI BibTeX RDF
36	David J. McConnell, Bruce A. Lewis, Lisa Gray	Reengineering a Single Threaded Embedded Missile Application onto a Parallel Processing Platform Using MetaH.	Real Time Syst.	1998	DBLP DOI BibTeX RDF
36	Steve Vestal, Pam Binns	Scheduling and communication in MetaH.	RTSS	1993	DBLP DOI BibTeX RDF
24	Malika Benammar, Faiza Belala, Fateh Latreche	AADL behavioral annex based on generalized rewriting logic.	RCIS	2008	DBLP DOI BibTeX RDF
24	Pam Binns, Steve Vestal	Formalizing Software Architectures for Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
24	Bruce A. Lewis, David J. McConnell	Reengineering Real-Time Embedded Software onto a Parallel Processing Platform.	WCRE	1996	DBLP DOI BibTeX RDF

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