Mark L. McKelvin Jr.

According to our database1, Mark L. McKelvin Jr. authored at least 5 papers between 2005 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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
Other 

Links

On csauthors.net:

Bibliography

2012
Specification and Design of Electrical Flight System Architectures with SysML.
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

Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005


  Loading...