Mark L. McKelvin Jr.
According to our database1,
Mark L. McKelvin Jr.
authored at least 5 papers
between 2005 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
2005
2006
2007
2008
2009
2010
2011
2012
0
1
2
3
4
1
1
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Proceedings of the Infotech@Aerospace 2012, 2012
2011
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011
2005
Integrated radio frequency identification and wireless sensor network architecture for automated inventory management and tracking applications.
Proceedings of the Richard Tapia Celebration of Diversity in Computing Conference 2005, 2005
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems.
Proceedings of the EMSOFT 2005, 2005
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005