Mark L. McKelvin Jr.

	2011
4		Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann: Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. PRDC 2011: 280-281
	2005
3		Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli: Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. ECBS 2005: 229-235
2		Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli: A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. EMSOFT 2005: 237-246
1		Mark L. McKelvin Jr., Mitchel L. Williams, Nina M. Berry: Integrated radio frequency identification and wireless sensor network architecture for automated inventory management and tracking applications. Richard Tapia Celebration of Diversity in Computing Conference 2005: 44-47

Coauthor Index

1	Nina M. Berry	[1]
2	Gabriel Eirea	[2]
3	Edward B. Gamble Jr.	[4]
4	Gerard J. Holzmann	[4]
5	Sri Kanajan	[2]
6	Claudio Pinello	[2] [3]
7	Alberto L. Sangiovanni-Vincentelli	[2] [3]
8	Jonathan Sprinkle	[3]
9	Mitchel L. Williams	[1]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page